{-# OPTIONS_GHC -Wall -fno-warn-orphans #-}
module ToySolver.FileFormat
( module ToySolver.FileFormat.Base
) where
import qualified Data.PseudoBoolean as PBFile
import qualified Data.PseudoBoolean.Attoparsec as PBFileAttoparsec
import qualified Data.PseudoBoolean.ByteStringBuilder as PBFileBB
import ToySolver.FileFormat.Base
import ToySolver.FileFormat.CNF ()
import ToySolver.QUBO ()
instance FileFormat PBFile.Formula where
parse = PBFileAttoparsec.parseOPBByteString
render = PBFileBB.opbBuilder
instance FileFormat PBFile.SoftFormula where
parse = PBFileAttoparsec.parseWBOByteString
render = PBFileBB.wboBuilder