[][src]Module screwsat::util

Structs

CnfData

Functions

parse_cnf

Parse a DIMACAS cnf file