CreuSAT - A formally verified SAT solver written in Rust and verified wi...
The Yices SMT Solver
a Pythonic toolkit for working with Boolean expressions
Tools for working with circuits as graphs in python
Approximate Model Counter
Probabilistic Answer Set Programming and Probabilistic SAT solving, base...
The Standard Interface for Incremental Satisfiability Solving
A simple SAT solver that implements the DPLL algorithm with unit resolution
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
A customizable timetabling software for educational institutions that en...
Boolean Constraint Solving in Prolog