"topic:dimacs-format" — Search

5 results for “topic:dimacs-format”

Bader-Research/GTgraph

GTgraph: A suite of synthetic random graph generators

C91Updated 5 months ago

benchmarkdimacs-formatgraphgraph-benchmarkgraph-generatornetwork-science

matsuda0528/ravensat

SAT Solver Interface in Ruby

Ruby32Updated 2 years ago

csp-solverdimacs-formatrubyruby-gemsat-solver

RaoulLuque/dimacs-petgraph-parser

A parser for constructing petgraph graphs from the dimacs format

Rust20Updated 1 year ago

dimacs-formatgraphgraphspetgraphrust

jaras209/SAT_solver

Implementation of CDCL SAT solver in Python

Python10Updated 2 years ago

cdcl-solvercnf-formuladimacs-formatdimacs-formuladpll-solverformulannfsat-solvertseitin-encodingunit-propagation

dynaroars/coloring

A fast algorithm for solving the Graph Coloring problem and its generalizations (Bandwidth Coloring, Multi Coloring, and Bandwidth Multi Coloring problems)

C00Updated 2 years ago

3-coloringant-colony-optimizationant-systemdimacs-formatgraph-coloringnpcomplete