Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / malb / bdd-predicate
Solving BDD and uSVP with predicate
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/malb%2Fbdd-predicate
Stars: 26
Forks: 10
Open Issues: 7
License: None
Language: Python
Repo Size: 89.8 KB
Dependencies:
8
Created: over 3 years ago
Updated: about 1 year ago
Last pushed: over 1 year ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
requirements.txt
pypi
- actions/checkout v2 composite
- actions/setup-python v2 composite
.github/workflows/tests.yml
actions
- actions/checkout v2 composite
- actions/setup-python v2 composite
Dockerfile
docker
- fplll/sagemath-g6k latest build