Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
-
Updated
Jul 23, 2024 - C++
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.
Genetic Algorithm for the Maximum Clique Problem
LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.
Compile MiniSat to WebAssembly using emscripten
Windows builds for The Glucose SAT Solver.
Compile SPUR to WebAssembly using emscripten
C++ MaxClique for Operations Research course
Copositivity matrix detection using simplices, faces refinement vs Bundfuss bisection
Add a description, image, and links to the dimacs topic page so that developers can more easily learn about it.
To associate your repository with the dimacs topic, visit your repo's landing page and select "manage topics."