Data.PseudoBoolean.ByteStringBuilder

Builder for (Lazy) ByteString generation

opbBuilder

wboBuilder

Lazy ByteString generation

toOPBByteString

toWBOByteString

File I/O

writeOPBFile

writeWBOFile

hPutOPB

hPutWBO