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.
Sorted by year (citations)

  1. Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao: PySAT: A Python toolkit for prototyping with SAT oracles (2018)