#Sat
Showing 3 of 3 repositories tagged #sat, ranked by stars
R-O-C-K-E-T
Factorio-SAT
Enhancing the Factorio experience with SAT solvers
Score
0
★ 771
⑂ 19
+1/day
Python
sarsko
CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Score
0
★ 688
⑂ 14
—
Rust
mudler
luet
:package: :whale: 0-dependency Container-based Package Manager using SAT solver and QLearning
Score
0
★ 300
⑂ 30
—
Go