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.

ttable

a Pythonic toolkit for working with Boolean expressions

neuralsat

NeuralSAT: A DPLL(T) Framework for Verifying Deep Neural Networks

pygplib

Pygplib: Python First-Order Graph Property Library

sat-dependency-resolver

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

normal-form

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

npycomp

A Python library for NP-complete reductions.

satisfaction-suffices

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

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".

ecyglpki

Cython GLPK interface

pyglucose

pybind11-based binding of glucose SAT solver