úÎ!VmRƒ:      !"#$%&'()*+,-./0123456789(c) Masahiro Sakai 2012-2014 BSD-stylemasahiro.sakai@gmail.com provisionalnon-portable (BangPatterns)Safenpseudo-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)Safe16Øpseudo-boolean.Variable are repserented as positive integers.pseudo-booleanYPositive (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<"ÿpseudo-booleanParser for OPB filespseudo-booleanParser for WBO filespseudo-boolean<Parse a OPB format string containing pseudo boolean problem.pseudo-booleanEParse a OPB format lazy bytestring containing pseudo boolean problem.pseudo-boolean3Parse a OPB file containing pseudo boolean problem.pseudo-booleanKParse a WBO format string containing weighted boolean optimization problem.pseudo-booleanEParse a WBO format lazy bytestring containing pseudo boolean problem.pseudo-booleanBParse a WBO file containing weighted boolean optimization problem.(c) Masahiro Sakai 2011-2016 BSD-stylemasahiro.sakai@gmail.comQnon-portable (BangPatterns, FlexibleContexts, TypeFamilies, CPP, ConstraintKinds)None +<FT.Á pseudo-booleanParser for OPB files!pseudo-booleanParser for WBO files"pseudo-boolean<Parse a OPB format string containing pseudo boolean problem.#pseudo-booleanEParse a OPB format lazy bytestring containing pseudo boolean problem.$pseudo-boolean3Parse a OPB file containing pseudo boolean problem.%pseudo-booleanKParse a WBO format string containing weighted boolean optimization problem.&pseudo-booleanEParse a WBO format lazy bytestring containing pseudo boolean problem.'pseudo-booleanBParse a WBO file containing weighted boolean optimization problem.  !"#$%&' "#$!%&'(c) Masahiro Sakai 2011-2015 BSD-stylemasahiro.sakai@gmail.comportableSafe@·(pseudo-boolean^A ByteString Builder which renders a OPB format byte-string containing pseudo boolean problem.)pseudo-booleanmA ByteString Builder which renders a WBO format byte-string containing weighted boolean optimization problem.*pseudo-booleanDGenerate a OPB format byte-string containing pseudo boolean problem.+pseudo-booleanSGenerate a WBO format byte-string containing weighted boolean optimization problem.,pseudo-boolean4Output a OPB file containing pseudo boolean problem.-pseudo-booleanCOutput a WBO file containing weighted boolean optimization problem..pseudo-booleanOutput a OPB file to a A using B.It is recommended that the A is set to binary and C mode. See D and E.%This function is more efficient than hPut . *< because in many cases no buffer allocation has to be done./pseudo-booleanOutput a WBO file to a A using B.It is recommended that the A is set to binary and C mode. See D and E.%This function is more efficient than hPut . +< because in many cases no buffer allocation has to be done.()*+,-./()*+,-./(c) Masahiro Sakai 2011-2015 BSD-stylemasahiro.sakai@gmail.comportableSafeG[0pseudo-boolean8A builder which renders a OPB format in any String-like F.1pseudo-boolean8A builder which renders a WBO format in any String-like F.2pseudo-boolean?Generate a OPB format string containing pseudo boolean problem.3pseudo-booleanNGenerate a WBO format string containing weighted boolean optimization problem.01230123(c) Masahiro Sakai 2011-2015 BSD-stylemasahiro.sakai@gmail.com.non-portable (BangPatterns, OverloadedStrings)SafeO4pseudo-booleanParser for OPB files5pseudo-booleanParser for WBO files6pseudo-boolean<Parse a OPB format string containing pseudo boolean problem.7pseudo-boolean3Parse a OPB file containing pseudo boolean problem.8pseudo-booleanKParse a WBO format string containing weighted boolean optimization problem.9pseudo-booleanBParse a WBO file containing weighted boolean optimization problem.456789467589(c) Masahiro Sakai 2011-2015 BSD-stylemasahiro.sakai@gmail.comnon-portable (BangPatterns)SafeQ_$ *+,-./23$  2*,.3+-/G      !"#$%& !"#$%'()*+,-.'(/0!"$%123456789:;1<=>?@1<A1BC1BD1EFG-pseudo-boolean-0.1.7.0-BV4H5TocFKGKViCHvhlkoG$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.Readread integer-gmpGHC.Integer.TypeIntegerpbComputeNumVarswboComputeNumVars pbProducts wboProducts wboNumSoftGHC.IO.Handle.TypesHandlebytestring-0.10.8.2Data.ByteString.Builder hPutBuilderBlockBuffering GHC.IO.HandlehSetBinaryMode hSetBufferingGHC.BaseMonoid