Copyright | (c) Masahiro Sakai 2011-2015 |
---|---|

License | BSD-style |

Maintainer | masahiro.sakai@gmail.com |

Portability | portable |

Safe Haskell | None |

Language | Haskell2010 |

- opbBuilder :: (Monoid a, IsString a) => Formula -> a
- wboBuilder :: (Monoid a, IsString a) => SoftFormula -> a
- toOPBString :: Formula -> String
- toWBOString :: SoftFormula -> String

# Builder for String-like Monoid

opbBuilder :: (Monoid a, IsString a) => Formula -> a Source

A builder which renders a OPB format in any String-like `Monoid`

.

wboBuilder :: (Monoid a, IsString a) => SoftFormula -> a Source

A builder which renders a WBO format in any String-like `Monoid`

.

# String generation

toOPBString :: Formula -> String Source

Generate a OPB format string containing pseudo boolean problem.

toWBOString :: SoftFormula -> String Source

Generate a WBO format string containing weighted boolean optimization problem.