PySAT¶
PySAT is a Python toolkit, which aims at providing a simple and unified interface to a number of state-of-art Boolean satisfiability (SAT) solvers as well as to a variety of cardinality and pseudo-Boolean encodings.
homepage: https://github.com/mvcisback/py-aiger
| version | versionsuffix | toolchain |
|---|---|---|
0.1.6.dev11 |
-Python-3.8.2 |
GCC/9.3.0 |
0.1.7.dev1 |
GCC/10.2.0 |
(quick links: (all) - 0 - a - b - c - d - e - f - g - h - i - j - k - l - m - n - o - p - q - r - s - t - u - v - w - x - y - z)