Satisfiability Python Packages

pyapproxmc

Approximate Model Counter

ttable

a Pythonic toolkit for working with Boolean expressions

circuitgraph

Tools for working with circuits as graphs in python

optimodel

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

pygplib

Python First-Order Graph Property Library

satyrn

SAT Solver Interface

pycscl

A lightweight CNF SAT constraint encoder library

optisolveapi

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