module SAT.Mios.Util.DIMACS
(
fromFile
, clauseListFromFile
, fromMinisatOutput
, clauseListFromMinisatOutput
, toFile
, toDIMACSString
, asDIMACSString
, asDIMACSString_
, module SAT.Mios.Util.BoolExp
)
where
import SAT.Mios.Util.DIMACS.Reader
import SAT.Mios.Util.DIMACS.Writer
import SAT.Mios.Util.DIMACS.MinisatReader
import SAT.Mios.Util.BoolExp
asDIMACSString :: BoolForm -> String
asDIMACSString = toDIMACSString . asList
asDIMACSString_ :: BoolForm -> String
asDIMACSString_ = toDIMACSString . asList_