Sat Solver Python Packages

minizinc

Access to all MiniZinc functionality directly from Python

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

dratify

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

package-maximizer

Модульная система для максимизации непротиворечивого множества пакетов

cdclkit

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

pyxlog

XLOG is a GPU-native logic programming language for unified symbolic reasoning. GPU-accelerated Datalog engine with probabilistic inference, inductive logic programmimg, and neural-symbolic integration.

neuralsat

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

sat-dependency-resolver

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

pygplib

Pygplib: Python First-Order Graph Property Library

normal-form

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

npycomp

A Python library for NP-complete reductions.

gopip-client

A fast, deterministic dependency resolver for Python, written in Go.

ltms

A logic-based Truth Maintenance System (LTMS) and pattern-directed reasoning engine in pure Python, after Forbus & de Kleer's Building Problem Solvers. Docs: https://pisanuw.github.io/ltms/

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