Data.PseudoBoolean.ByteStringBuilder

Builder for (Lazy) ByteString generation

opbBuilder :: Formula -> Builder

A ByteString Builder which renders a OPB format byte-string containing pseudo boolean problem.

wboBuilder :: SoftFormula -> Builder

A ByteString Builder which renders a WBO format byte-string containing weighted boolean optimization problem.

Lazy ByteString generation

toOPBByteString :: Formula -> ByteString

Generate a OPB format byte-string containing pseudo boolean problem.

toWBOByteString :: SoftFormula -> ByteString

Generate a WBO format byte-string containing weighted boolean optimization problem.

File I/O

writeOPBFile :: FilePath -> Formula -> IO ()

Output a OPB file containing pseudo boolean problem.

writeWBOFile :: FilePath -> SoftFormula -> IO ()

Output a WBO file containing weighted boolean optimization problem.

hPutOPB :: Handle -> Formula -> IO ()

Output a OPB file to a Handle using hPutBuilder.

It is recommended that the Handle is set to binary and BlockBuffering mode. See hSetBinaryMode and hSetBuffering.

This function is more efficient than hPut . toOPBByteString because in many cases no buffer allocation has to be done.

hPutWBO :: Handle -> SoftFormula -> IO ()

Output a WBO file to a Handle using hPutBuilder.

It is recommended that the Handle is set to binary and BlockBuffering mode. See hSetBinaryMode and hSetBuffering.

This function is more efficient than hPut . toWBOByteString because in many cases no buffer allocation has to be done.