PySAT - a Python toolkit for Prototyping with SAT oracles

Description

PySAT toolkit provides a simple Python API to the most popular modern Boolean satisfiability (SAT) solvers and cardinality constraints and aims at facilitating practical SAT-based problem solving using the power of state of the art in SAT.

Distribution

PySAT is publicly available at pysathq.github.io.

Authors

Wiki Status

Last update: 22 February 2018

Print/export