sat-solver topic
discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
gapt
GAPT: General Architecture for Proof Theory
mSAT
A modular sat/smt solver with proof output.
togasat
A Header-Only CDCL SAT Solver for Programming Contest
minisat-rust
Experimental minisat SAT solver reimplementation in Rust
minizinc-python
Access to all MiniZinc functionality directly from Python
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