gitlab.com topics: SAT
joschv/qbf--and-sat-solving
Accompanying my bachelor thesis "Algorithms for quantified Boolean Formulas" (Algorithmen für quantifizierte Boole'sche Formeln")
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
findley/elm-sat
A simple DPLL SAT solver in Elm (https://package.elm-lang.org/packages/tortis/elm-sat/latest/)
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
leondejong/js-collision-detection
JS Collision Detection
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
tuxsoul/sat-cfdi
libreria para crear facturas xml validas para el #sat ...
Last synced at: over 2 years ago - Stars: 0 - Forks: 1
jbaquerot/cardinality-constraint-sat
Cardinality Constraints for SAT Algorithm that, given a cardinality constraint, generates a conjunctive normal form in DIMACS format.
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
lordinvader/many-sat
Implementation of various algorithms around the SAT problem.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
QIF/cryptominisat4
A version of cryptominisat allowing Projection in Model Counting.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0