Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
-
Updated
Jan 27, 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.
Implementation of branch and bound algorithm for maximum clique problem
Genetic Algorithm for the Maximum Clique Problem
A diabolic implementation of mcSAT 😈
LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.
a collection of benchmarks (in DIMACS format) for various NP-Complete problems
Compile MiniSat to WebAssembly using emscripten
Results of popular Steiner tree instances
A generic SAT solver designed to solve SAT problems in the DIMACS format.
Compile microsat to WebAssembly using emscripten
Copositivity matrix detection using simplices, faces refinement vs Bundfuss bisection
Coverts a generic Verilog netlist into the DIMACS format compatible with many SAT solvers
A simple theorem prover made for a university programming assignment
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."