PyPI page
Home page
Author:
Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado
License:
MIT
Summary:
A Python library for prototyping with SAT oracles
Latest version:
1.9.dev16
Required dependencies:
six
Optional dependencies:
py-aiger-cnf
|
pyapproxmc
|
pycryptosat
|
pypblib
|
pyunigen
Downloads last day:
16,258
Downloads last week:
75,102
Downloads last month:
429,676
7-day smoothing