Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with dimacs
A curated list of projects in awesome lists tagged with dimacs .
https://github.com/robbepop/dimacs-parser
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
Last synced: 15 Nov 2024
https://github.com/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.
cnf dimacs latin-square logic-in-computer-science python
Last synced: 04 Dec 2024
https://github.com/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*
astar-algorithm bfs-algorithm dfs-algorithm dimacs ucs-algorithm
Last synced: 10 Nov 2024
https://github.com/mateusz-grzelinski/tptp_converter
TPTP to dimacs converter
Last synced: 22 Nov 2024
https://github.com/josmangarsal/copositivity-detection-bundfuss-faces
Copositivity matrix detection using simplices, faces refinement vs Bundfuss bisection
copositivity dimacs simplex-refinement
Last synced: 11 Dec 2024
