Sat Solver Python Packages

minizinc

Access to all MiniZinc functionality directly from Python

pycryptosat

An advanced SAT solver

solvor

Optimization solvers in pure Python: LP, MILP, SAT, constraint programming, graph and metaheuristics. No dependencies. Solvor all your optimization needs.

ud-resolver

Resolve any package, from any ecosystem, all at once. CLI + API + Desktop app with SAT-solver conflict resolution across 18 ecosystems

ttable

a Pythonic toolkit for working with Boolean expressions

neuralsat

A neural network verification tool based on the DPLL(T) SMT Solving algorithm.

ltms

A logic-based Truth Maintenance System and pattern-directed reasoning engine in Python, after Forbus & de Kleer, Building Problem Solvers.

sat-dependency-resolver

Universal dependency resolver using SAT solvers - works for software packages, course prerequisites, books, certifications, and any system with logical dependencies

pygplib

Python First-Order Graph Property Library

npycomp

A Python library for NP-complete reductions.

normal-form

A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)

satisfaction-suffices

SAT-gated structural containment for AI — verification gate, four-verdict system, proof evolution, and paradox logic

ecyglpki

A Cython GLPK interface

satisfiable-ai

HuggingFace dataset wrappers for SAT-verified training data

kpsearch

Code and text for the paper "A Comprehensive Study of k-Portfolios of Recent SAT Solvers".

pyglucose

pybind11-based binding of glucose SAT solver