dimacs
Here are 39 public repositories matching this topic...
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
-
Updated
Jan 27, 2024 - C++
Graph grounding for graph coloring algorithms such as Welsh Powell and Evolution algorithms like Harmony Search and Genetic
-
Updated
Feb 29, 2024 - TypeScript
Implementation of branch and bound algorithm for maximum clique problem
-
Updated
Dec 16, 2017 - Python
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.
-
Updated
Jun 3, 2023 - C++
Genetic Algorithm for the Maximum Clique Problem
-
Updated
Aug 25, 2020 - C++
A diabolic implementation of mcSAT 😈
-
Updated
Jun 23, 2021 - Python
Results of popular Steiner tree instances
-
Updated
Mar 20, 2020 - Ruby
LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.
-
Updated
Jun 14, 2022 - C++
a collection of benchmarks (in DIMACS format) for various NP-Complete problems
-
Updated
Dec 19, 2022 - TeX
A simple theorem prover made for a university programming assignment
-
Updated
Jul 28, 2017 - Java
Compile MiniSat to WebAssembly using emscripten
-
Updated
Jan 15, 2020 - C++
Windows builds for The Glucose SAT Solver.
-
Updated
Aug 19, 2021 - C++
Coverts a generic Verilog netlist into the DIMACS format compatible with many SAT solvers
-
Updated
Feb 25, 2020 - Python
Compile microsat to WebAssembly using emscripten
-
Updated
May 26, 2020 - C
An implementation of a recursive DPLL solver in OCaml. It parses setup (cnf ) DIMACS and checks if the formula is satisfied.
-
Updated
Oct 28, 2021 - OCaml
A generator of graphs written in Python and LaTeX
-
Updated
Dec 16, 2019 - TeX
Improve this page
Add a description, image, and links to the dimacs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dimacs topic, visit your repo's landing page and select "manage topics."