An advanced SAT solver
CreuSAT - A formally verified SAT solver written in Rust and verified wi...
Simple Theorem Prover, an efficient SMT solver for bitvectors
gophersat, a SAT solver in Go
The Yices SMT Solver
Python code snippets from Discrete Mathematics for Computer Science spec...
a Pythonic toolkit for working with Boolean expressions
An extensible, lightweight relational/logic programming DSL written in p...
My sandbox for experimenting with solver algorithms.
A fast SAT solver
SAT solver written in Go (golang).
Access to all MiniZinc functionality directly from Python
A modular sat/smt solver with proof output.
GAPT: General Architecture for Proof Theory
Experimental minisat SAT solver reimplementation in Rust