Data.PseudoBoolean.Builder

Builder for String-like Monoid

opbBuilder

wboBuilder

String generation

toOPBString

toWBOString