Îõ³h$u:      !"#$%&'()*+,-./0123456789(c) Masahiro Sakai 2012-2014 BSD-stylemasahiro.sakai@gmail.com provisionalnon-portable (BangPatterns) Safe-Inferredvpseudo-boolean: allocate too many intermediate ;². Therefore we use this optimized implementation instead. Many intermediate values in this implementation will be optimized away by worker-wrapper transformation and unboxing.(c) Masahiro Sakai 2011-2015 BSD-stylemasahiro.sakai@gmail.com>non-portable (BangPatterns, DeriveDataTypeable, DeriveGeneric) Safe-Inferred38¼pseudo-boolean.Variable are repserented as positive integers.pseudo-booleanÙPositive (resp. negative) literals are represented as positive (resp. negative) integers.pseudo-boolean)List of variables interpreted as productspseudo-booleanCoefficient and pseudo-booleanSum of pseudo-boolean A pair of weight and constraint.pseudo-boolean A pair of top cost and a list of soft constraints. pseudo-booleanRelational operatorspseudo-booleangreater than or equalpseudo-booleanequalpseudo-boolean!Lhs, relational operator and rhs.pseudo-booleanPair of objective function and a list of constraints.<pseudo-booleanßUtility function for computing number of variables in given objective function and constraints.=pseudo-booleanßUtility function for computing number of variables in given objective function and constraints. <=>?@(c) Masahiro Sakai 2011-2015 BSD-stylemasahiro.sakai@gmail.com-non-portable (BangPatterns, FlexibleContexts) Safe-Inferred? Èpseudo-booleanParser for OPB filespseudo-booleanParser for WBO filespseudo-boolean?@1<A1BC1BD1EFÇ.pseudo-boolean-0.1.10.0-JeGy8gNewOcFWIpqo9s49q$Data.PseudoBoolean.Internal.TextUtilData.PseudoBooleanData.PseudoBoolean.ParsecData.PseudoBoolean.Megaparsec$Data.PseudoBoolean.ByteStringBuilderData.PseudoBoolean.BuilderData.PseudoBoolean.AttoparsecData.PseudoBoolean.TypesreadUnsignedIntegerVarLitTerm WeightedTermSumSoftConstraint SoftFormula wboTopCostwboConstraints wboNumVarswboNumConstraintsOpGeEq ConstraintFormulapbObjectiveFunction pbConstraints pbNumVarspbNumConstraints opbParser wboParserparseOPBStringparseOPBByteString parseOPBFileparseWBOStringparseWBOByteString parseWBOFile ParseError opbBuilder wboBuildertoOPBByteStringtoWBOByteString writeOPBFile writeWBOFilehPutOPBhPutWBO toOPBString toWBOStringbase Text.Readreadinteger-wired-inGHC.Integer.TypeIntegerpbComputeNumVarswboComputeNumVars pbProducts wboProducts wboNumSoftGHC.IO.Handle.TypesHandlebytestring-0.10.10.0Data.ByteString.Builder hPutBuilderBlockBuffering GHC.IO.HandlehSetBinaryMode hSetBufferingGHC.BaseMonoid