satisfiability topic
cmsh
High-level interfaces over @msoos's CryptoMiniSat.
clpb
Boolean Constraint Solving in Prolog
CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
yices2
The Yices SMT Solver
tt
a Pythonic toolkit for working with Boolean expressions
SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolution
Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
splr
A modern CDCL SAT solver in Rust
XORSATFilter
A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
SatPie
SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay