#Sat-solver
Showing 4 of 4 repositories tagged #sat-solver, ranked by stars
sarsko
CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Score
0
★ 688
⑂ 14
—
Rust
crillab
gophersat
gophersat, a SAT solver in Go
Score
100
★ 388
⑂ 24
—
Go
go-air
gini
A fast SAT solver
Score
50
★ 157
⑂ 18
—
Go
MatthiasNickles
diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Score
0
★ 72
⑂ 3
—
Scala