Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / rogen-george / Variable-Elimination-SAT
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rogen-george%2FVariable-Elimination-SAT
Stars: 0
Forks: 0
Open Issues: 3
License: None
Language: Python
Repo Size: 3.46 MB
Dependencies:
30
Created: almost 4 years ago
Updated: 10 months ago
Last pushed: 11 months ago
Last synced: 10 months ago
Files
Loading...
Readme
Loading...
Dependencies
requirements.txt
pypi
- attrs ==19.3.0
- bidict ==0.18.3
- cycler ==0.10.0
- decorator ==4.4.2
- funcy ==1.14
- future ==0.18.2
- joblib ==0.15.1
- kiwisolver ==1.2.0
- matplotlib ==3.2.1
- networkx ==2.4
- numpy ==1.18.5
- pandas ==1.0.4
- parsimonious ==0.8.1
- patsy ==0.5.1
- pgmpy ==0.1.10
- py-aiger ==4.3.0
- py-aiger-cnf ==3.0.0
- pyparsing ==2.4.7
- pypblib ==0.0.4
- pyrsistent ==0.15.7
- python-dateutil ==2.8.1
- python-sat ==0.1.5.dev14
- pytz ==2020.1
- scipy ==1.4.1
- seaborn ==0.10.1
- six ==1.15.0
- statsmodels ==0.11.1
- toposort ==1.5
- torch ==1.5.0
- tqdm ==4.46.1