sat-solver topic
List
sat-solver repositories
batsat
31
Stars
4
Forks
Watchers
A (parametrized) Rust SAT solver originally based on MiniSat
cryptominisat
798
Stars
180
Forks
Watchers
An advanced SAT solver
CreuSAT
591
Stars
10
Forks
Watchers
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
stp
488
Stars
127
Forks
Watchers
Simple Theorem Prover, an efficient SMT solver for bitvectors
yices2
355
Stars
45
Forks
Watchers
The Yices SMT Solver
gini
148
Stars
16
Forks
Watchers
A fast SAT solver
gophersat
359
Stars
24
Forks
Watchers
gophersat, a SAT solver in Go
toysolver
152
Stars
11
Forks
Watchers
My sandbox for experimenting with solver algorithms.
go-sat
133
Stars
7
Forks
Watchers
SAT solver written in Go (golang).
go-z3
138
Stars
22
Forks
Watchers
Go (golang) bindings to the Z3 SMT Solver