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.dev5
Required dependencies:
six
Optional dependencies:
py-aiger-cnf
|
pyapproxmc
|
pycryptosat
|
pypblib
|
pyunigen
Downloads last day:
9,702
Downloads last week:
52,739
Downloads last month:
216,434