SAT.Util.CNFIO

Input

fromFile

clauseListFromFile

fromMinisatOutput

clauseListFromMinisatOutput

Output

toFile

toCNFString

asCNFString

asCNFString_

Bool Operation