dimacs
There are 39 repositories under dimacs topic.
touist/touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
meelgroup/bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
amirdeljouyi/graph-coloring
Graph grounding for graph coloring algorithms such as Welsh Powell and Evolution algorithms like Harmony Search and Genetic
donfaq/max_clique
Implementation of branch and bound algorithm for maximum clique problem
vsklad/cgen
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.
shah314/clique
Genetic Algorithm for the Maximum Clique Problem
QuMuLab/python-nnf
Manipulate NNF (Negation Normal Form) logical sentences
louisabraham/mcSATan
A diabolic implementation of mcSAT 😈
dynaroars/npbench
a collection of benchmarks (in DIMACS format) for various NP-Complete problems
fmoessbauer/LibMVC
LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.
sbeyer/steiner-tree-results
Results of popular Steiner tree instances
Robbepop/dimacs-parser
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
georgejkaye/theorem-prover
A simple theorem prover made for a university programming assignment
glnc/minisat-wasm
Compile MiniSat to WebAssembly using emscripten
jakublevy/glucose-win
Windows builds for The Glucose SAT Solver.
jpsety/verilog2dimacs
Coverts a generic Verilog netlist into the DIMACS format compatible with many SAT solvers
baptiste-fourmont/dpll
An implementation of a recursive DPLL solver in OCaml. It parses setup (cnf ) DIMACS and checks if the formula is satisfied.
glnc/microsat
Simple CDCL SAT solver
glnc/microsat-wasm
Compile microsat to WebAssembly using emscripten
arey0pushpa/synthetic_qbf_formulas
Interesting QBF formulas
glnc/spur-wasm
Compile SPUR to WebAssembly using emscripten
jamie0725/Generic-SAT-Solver
A generic SAT solver designed to solve SAT problems in the DIMACS format.
jariazavalverde/graphs
A generator of graphs written in Python and LaTeX
jariazavalverde/prolog-dimacs
A set of parsers for DIMACS formats written in Prolog
marcmelis/wpm1-3
Conversor to WPM(1,3), dimacs format
muneeb706/sudoku-solver
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.
reneoctavio/boost-dijkstra
Dijkstra Single Source Shortest Path using Boost
sergei-sl/MaxClique
C++ MaxClique for Operations Research course
crillab/autis
AUTIS library allows parsing combinatorial problem instances for different common formats.
Filipey/AEDS3-TP01
Script para encontrar o caminho mínimo em grafos no formato DIMACS
josmangarsal/copositivity-detection-bundfuss-faces
Copositivity matrix detection using simplices, faces refinement vs Bundfuss bisection
milairhu/SAToku
Solving sudoku grids with SAT solver Gophersat
SirZokxyron/Tetravex
Un projet pour résoudre une grille de Tetravex en utilisant la logique propositionnelle.
erikbernard/dimacs-project-AI
Projeto criado para disciplina Inteligência Artificial, Com objetivo de calcular uma rota entre os dois pontos usando os seguintes algoritmos: ○ Busca em Largura ○ Busca em profundidade (podendo ser o limitado) ○ Busca de custo uniforme ○ A*
Mateusz-Grzelinski/TPTP_converter
TPTP to dimacs converter