GTgraph: A suite of synthetic random graph generators
-
Updated
Dec 14, 2020 - C
#
dimacs-format
Here are 5 public repositories matching this topic...
SAT Solver Interface in Ruby
-
Updated
Nov 7, 2022 - Ruby
A parser for constructing petgraph graphs from the dimacs format
-
Updated
May 10, 2024 - Rust
Implementation of CDCL SAT solver in Python
formula
sat-solver
nnf
unit-propagation
cnf-formula
tseitin-encoding
cdcl-solver
dpll-solver
dimacs-format
dimacs-formula
-
Updated
Dec 13, 2020 - Python
A fast algorithm for solving the Graph Coloring problem and its generalizations (Bandwidth Coloring, Multi Coloring, and Bandwidth Multi Coloring problems)
-
Updated
Sep 2, 2023 - C
Improve this page
Add a description, image, and links to the dimacs-format topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dimacs-format topic, visit your repo's landing page and select "manage topics."