Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / mvcisback / py-aiger-sat

Pythonic interface between AIGs and SAT solvers.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger-sat

Stars: 3
Forks: 1
Open Issues: 0

License: mit
Language: Python
Repo Size: 116 KB
Dependencies: 34

Created: almost 5 years ago
Updated: 10 months ago
Last pushed: 2 months ago
Last synced: 12 days ago

Files

Loading...

Readme

Loading...

Dependencies

pyproject.toml pypi

py-aiger-bv ^4.0.0 develop
pytest ^6.0 develop
pytest-xdist ^2.0.0 develop
py-aiger ^6.0.0
py-aiger-bv ^4.0.0
py-aiger-cnf ^5.0.0
python ^3.7
python-sat 0.1.6.*

poetry.lock pypi

atomicwrites 1.4.1 develop
colorama 0.4.6 develop
execnet 1.9.0 develop
importlib-metadata 5.0.0 develop
iniconfig 1.1.1 develop
packaging 21.3 develop
pluggy 1.0.0 develop
py 1.11.0 develop
pyparsing 3.0.9 develop
pytest 6.2.5 develop
pytest-forked 1.4.0 develop
pytest-xdist 2.5.0 develop
toml 0.10.2 develop
typing-extensions 4.4.0 develop
zipp 3.10.0 develop
attrs 22.1.0
bidict 0.22.0
funcy 1.17
py-aiger 6.1.26
py-aiger-bv 4.7.5
py-aiger-cnf 5.0.7
pyrsistent 0.19.2
python-sat 0.1.7.dev19
six 1.16.0
sortedcontainers 2.4.0
toposort 1.7