#
dimacs
Here are 34 public repositories matching this topic...
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
-
Updated
Apr 29, 2021 - C++
Graph grounding for graph coloring algorithms such as Welsh Powell and Evolution algorithms like Harmony Search and Genetic
electron
playground
angular
typescript
graph
genetic-algorithm
dimacs
graph-coloring
genetic
harmony-search
welsh-powell
angular-electron
play-ground
graph-grounding
-
Updated
Sep 13, 2018 - 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
Mar 21, 2021 - 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
Oct 30, 2018 - C++
A simple theorem prover made for a university programming assignment
theorem-proving
propositional-logic
dimacs
theorem
reasoning
theorem-prover
dpll
clause-normal-form
resolution-calculus
propositional-resolution
-
Updated
Jul 28, 2017 - Java
Compile MiniSat to WebAssembly using emscripten
-
Updated
Jan 15, 2020 - C++
Compile microsat to WebAssembly using emscripten
-
Updated
May 26, 2020 - C
A generator of graphs written in Python and LaTeX
-
Updated
Dec 16, 2019 - TeX
Dijkstra Single Source Shortest Path using Boost
-
Updated
Jan 25, 2021 - C
Compile SPUR to WebAssembly using emscripten
-
Updated
Feb 5, 2020 - C++
A generic SAT solver designed to solve SAT problems in the DIMACS format.
-
Updated
Mar 3, 2019 - Python
Un projet pour résoudre une grille de Tetravex en utilisant la logique propositionnelle.
-
Updated
May 11, 2021 - Python
-
Updated
Mar 23, 2017 - Java
-
Updated
Jan 20, 2019 - Python
graph coloring
-
Updated
Jul 27, 2021 - C
Conversor to WPM(1,3), dimacs format
-
Updated
Apr 19, 2018 - Python
Copositivity matrix detection using simplices, faces refinement vs Bundfuss bisection
-
Updated
Nov 17, 2018 - C++
A program which will read a sudoku puzzle from a file (some examples are sudoku1.txt, sudoku2.txt, etc) and generate clauses in the DIMACS format for each sudoku puzzle in the files sudokuN.cnf, where N = 1, 2, ..., 5.
-
Updated
Mar 25, 2020 - Python
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."
If we're in a form that allows for quick counting (e.g., d-DNNF), it would be useful to be able to compute the marginals (likelihood each proposition is true/false) for all variables simultaneously. Can be done by maintaining the relevant dictionary in the recursive call.