SAT

Exact

libreria para crear facturas xml validas para el #sat ...

An example of Java Sudoku solver using Sat4j library.

JS Collision Detection

JS SAT

Cardinality Constraints for SAT Algorithm that, given a cardinality constraint, generates a conjunctive normal form in DIMACS format.

Implementation of various algorithms around the SAT problem.

Accompanying my bachelor thesis "Algorithms for quantified Boolean Formulas" (Algorithmen für quantifizierte Boole'sche Formeln")

A simple DPLL SAT solver in Elm (https://package.elm-lang.org/packages/tortis/elm-sat/latest/)

A version of cryptominisat allowing Projection in Model Counting.