Îõ³h*ƒ:      !"#$%&'()*+,-./01234567890.1.11.0(c) Masahiro Sakai 2012-2014 BSD-stylemasahiro.sakai@gmail.com provisionalnon-portable (BangPatterns) Safe-Inferred€pseudo-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-Inferred7<Æ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?@A2=B2CD2CE2FGÈ.pseudo-boolean-0.1.11.0-8xMFhwmpT0y1DimHaW4rhk$Data.PseudoBoolean.Internal.TextUtilData.PseudoBooleanData.PseudoBoolean.ParsecData.PseudoBoolean.Megaparsec$Data.PseudoBoolean.ByteStringBuilderData.PseudoBoolean.BuilderData.PseudoBoolean.Attoparsecpseudo-booleanData.PseudoBoolean.TypesreadUnsignedIntegerVarLitTerm WeightedTermSumSoftConstraint SoftFormula wboTopCostwboConstraints wboNumVarswboNumConstraintsOpGeEq ConstraintFormulapbObjectiveFunction pbConstraints pbNumVarspbNumConstraints opbParser wboParserparseOPBStringparseOPBByteString parseOPBFileparseWBOStringparseWBOByteString parseWBOFile ParseError opbBuilder wboBuildertoOPBByteStringtoWBOByteString writeOPBFile writeWBOFilehPutOPBhPutWBO toOPBString toWBOStringbase Text.Readread ghc-bignumGHC.Num.IntegerIntegerpbComputeNumVarswboComputeNumVars pbProducts wboProducts wboNumSoftGHC.IO.Handle.TypesHandlebytestring-0.11.5.2Data.ByteString.Builder hPutBuilderBlockBuffering GHC.IO.HandlehSetBinaryMode hSetBufferingGHC.BaseMonoid