Satisfiability Python Packages

ttable

a Pythonic toolkit for working with Boolean expressions

dratify

Check DRAT/DRUP proofs of unsatisfiability inside your Python process. Zero dependencies, optional Rust accelerator.

cdclkit

A readable, self-checking CDCL SAT solver, preprocessor and encoding library. Every answer comes with a certificate.

circuitgraph

Tools for working with circuits as graphs in python

pygplib

Pygplib: Python First-Order Graph Property Library

satyrn

An interface to SAT solvers

optisolveapi

Optimization & Solving common API (SAT, MILP, etc.)

optimodel

A suite for minimizing constraint systems (CNF/DNF/MILP inequalities)

pycscl

A lightweight CNF SAT constraint encoder library