SATisPy is a Python library that aims to be an interface to various SAT (boolean satisfiability) solver applications. Supported solvers: MiniSAT (Linux), Lingeling (Linux, Cygwin)
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao: PySAT: A Python toolkit for prototyping with SAT oracles (2018)