Categorygithub.com/operator-framework/deppycmddimacs
package
0.3.0
Repository: https://github.com/operator-framework/deppy.git
Documentation: pkg.go.dev
Overview
Versions
1
Dependencies
13
Dependents
1
Files
267 SLOC

# Functions

No description provided by the author
NewDimacs creates a Dimacs struct with the values parsed from the DIMACS formatted stream afforted by dimacsReader.
No description provided by the author

# Structs

Dimacs constrains the variables and clauses that make up a CNF problem described in DIMACS format see: https://logic.pdmi.ras.ru/~basolver/dimacs.html.