dimacs
There are 1 repository under dimacs topic.
- Language:OCaml 65
- Language:C++ 64
amirdeljouyi / graph-coloring
Graph grounding for graph coloring algorithms such as Welsh Powell and Evolution algorithms like Harmony Search and Genetic
Language:TypeScript 39donfaq / max_clique
Implementation of branch and bound algorithm for maximum clique problem
Language:Python 31vsklad / 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.
Language:C++ 21- Language:C++ 19
- Language:Python 16
- Language:Python 11
- Language:TeX 9
fmoessbauer / LibMVC
LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.
Language:C++ 9sbeyer / steiner-tree-results
Results of popular Steiner tree instances
Language:Ruby 9Robbepop / dimacs-parser
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
Language:Rust 8georgejkaye / theorem-prover
A simple theorem prover made for a university programming assignment
Language:Java 4glnc / minisat-wasm
Compile MiniSat to WebAssembly using emscripten
Language:C++ 4jakublevy / glucose-win
Windows builds for The Glucose SAT Solver.
Language:C++ 3jpsety / verilog2dimacs
Coverts a generic Verilog netlist into the DIMACS format compatible with many SAT solvers
Language:Python 3baptiste-fourmont / dpll
An implementation of a recursive DPLL solver in OCaml. It parses setup (cnf ) DIMACS and checks if the formula is satisfied.
Language:OCaml 2- Language:C 2
Compile microsat to WebAssembly using emscripten
Language:C 2- Language:Python 1
- Language:C++ 1
jamie0725 / Generic-SAT-Solver
A generic SAT solver designed to solve SAT problems in the DIMACS format.
Language:Python 1jariazavalverde / graphs
A generator of graphs written in Python and LaTeX
Language:TeX 1A set of parsers for DIMACS formats written in Prolog
Language:Prolog 1- Language:Python 1
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.
Language:Python 1reneoctavio / boost-dijkstra
Dijkstra Single Source Shortest Path using Boost
Language:C 1- Language:C++ 1
- Language:Python 1
crillab / autis
AUTIS library allows parsing combinatorial problem instances for different common formats.
Language:C++ 0Filipey / AEDS3-TP01
Script para encontrar o caminho mínimo em grafos no formato DIMACS
Language:Python 0josmangarsal / copositivity-detection-bundfuss-faces
Copositivity matrix detection using simplices, faces refinement vs Bundfuss bisection
Language:C++ 0SirZokxyron / Tetravex
Un projet pour résoudre une grille de Tetravex en utilisant la logique propositionnelle.
Language:Python 0erikbernard / 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*
Language:Python- Language:Python
- Language:Python
