PyPI page
Home page
Author:
Josep Maria Salvia Hornos
License:
Apache-2.0
Summary:
A Python library of incremental MaxSAT solvers
Latest version:
1.2.6
Required dependencies:
python-sat
Optional dependencies:
optilog
Downloads last day:
41
Downloads last week:
231
Downloads last month:
288
7-day smoothing