PyPI page
Home page
Author:
None
License:
All Rights Reserved
Summary:
Topological SAT preprocessor — detects UNSAT via cohomological obstructions
Latest version:
0.1.1
Required dependencies:
numpy
|
python-sat
Optional dependencies:
cnfgen
|
pytest
Downloads last day:
0
Downloads last week:
9
Downloads last month:
35