PyPI page
Home page
Author:
Josep Maria Salvia Hornos
License:
Apache-2.0
Summary:
A Python library of incremental MaxSAT solvers
Latest version:
1.1.1
Required dependencies:
python-sat
Optional dependencies:
optilog
Downloads last day:
4
Downloads last week:
65
Downloads last month:
291