PyPI page
Home page
Author:
Frank Vega
License:
MIT License
Summary:
Solve the Boolean Satisfiability (SAT) problem using a DIMACS file as input.
Latest version:
0.0.3
Required dependencies:
networkx
|
python-sat
|
salvador
Downloads last day:
0
Downloads last week:
369
Downloads last month:
0
7-day smoothing