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.dev2
Required dependencies:
six
Optional dependencies:
py-aiger-cnf
|
pyapproxmc
|
pycryptosat
|
pypblib
|
pyunigen
Downloads last day:
5,545
Downloads last week:
39,322
Downloads last month:
144,387