Expand description
Parsing of DIMACS input file format
Structs
Logic formula in conjunctive normal form, parsed from a DIMACS file: A formula in conjunctive normal form is a conjunction (logical and) of a set of clauses. Each clause is a disjunction (logical or) of a set of literals. A literal is a variable or a negation of a variable. (https://jix.github.io/varisat/manual/0.2.0/formats/dimacs.html#dimacs-cnf)