dimacs-format

There are 5 repositories under dimacs-format topic.

Bader-Research/GTgraph
GTgraph: A suite of synthetic random graph generators
Language:C8 2 01
matsuda0528/ravensat
SAT Solver Interface in Ruby
Language:Ruby3 2 41
RaoulLuque/dimacs-petgraph-parser
A parser for constructing petgraph graphs from the dimacs format
Language:Rust20
jaras209/SAT_solver
Implementation of CDCL SAT solver in Python
Language:Python1 1 00
dynaroars/coloring
A fast algorithm for solving the Graph Coloring problem and its generalizations (Bandwidth Coloring, Multi Coloring, and Bandwidth Multi Coloring problems)
Language:C2 0