pseudo-boolean-0.1.4.0: Reading/Writing OPB/WBO files used in pseudo boolean competition

Copyright(c) Masahiro Sakai 2011-2015
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Data.PseudoBoolean.Builder

Contents

Description

 

Synopsis

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.