gitlab.com topics: SAT solver
shnarazk/SAT/mios
Development versions of Minisat-based Implementation and Optimization Study on SAT Solvers in Haskell / [Github](https://github.com/shnarazk/mios)
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
janbruns/passat
A boolean constraint (cnf), satisfyability solver. This one by design generates very short unsat proofs.
Last synced at: almost 2 years ago - Stars: 0 - Forks: 0
shnarazk/SAT/splr
A SAT Solver for Propositional Logic in Rust
Last synced at: over 2 years ago - Stars: 1 - Forks: 0
satisfiability01/glucose
A brilliant SAT solver by Gilles Audemard and Laurent Simon
Last synced at: over 2 years ago - Stars: 0 - Forks: 0