Parses a clingo model file, containing potentially several models of a formula.
Parses a clingo model file, containing potentially several models of a formula. TODO implement real parsing, string scanning + splitting does not scale
Parses a sharpCDCL model file, possibly containing several models of a same formula.
Parses a sharpCDCL model file, possibly containing several models of a same formula. TODO implement real parsing, string splitting + scanning does not scale
This class takes a boolean formula as input, and outputs several files which which can be used for prime implicant enumeration.