h$!w      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                          (c) Masahiro Sakai 2011-2019 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNone MIP0Type for representing a solution of MIP problem.MIP,MIP status with the following partial order: !doc-images/MIP-Status-diagram.pngMIP&SOS (special ordered sets) constraintsMIP/types of SOS (special ordered sets) constraints MIPType 1 SOS constraint!MIPType 2 SOS constraint"MIPrelational operators&MIP constraint.MIPobjective function3MIPterms5MIP expressions7MIP4type for representing lower/upper bound of variables8MIP4type for representing lower/upper bound of variables>MIPvariable?MIPlabel@MIPProblemIMIP convert a string into a variableJMIP convert a variable into a stringKMIP looking up bounds for a variableLMIPdefault boundsMMIPdefault lower bound (0)NMIPdefault upper bound (+D)OMIP looking up bounds for a variableTMIPEquality constraint.UMIPInequality constraint (D).VMIPInequality constraint (D).WMIPmeet9 (greatest lower bound) operator of the partial order of  type.If the version of lattices is <2, then MeetSemiLattice instance can also be used.  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[@ABCDEFGH?>IJ9:;<=K87LMNOXYZ[56QRS34./012&'()*+,-TUV"#$% !W  PT4U4V4(c) Masahiro Sakai 2018 BSD-stylemasahiro.sakai@gmail.com provisional non-portable Safe-Inferred MIPError type for parsing.2The definition is slightly different based on the  megaparsec version.(c) Masahiro Sakai 2014 BSD-stylemasahiro.sakai@gmail.com provisional non-portable Safe-Inferred aMIP Filename of the executable (see  for details)MIP any argumentsMIPstandard inputMIPcallback function which is called when a line is read from stdoutMIPcallback function which is called when a line is read from stderr(c) Masahiro Sakai 2011-2012 BSD-stylemasahiro.sakai@gmail.com provisionalportable Safe-Inferred MIPCombining two Maybe values using given function.MIPis the number integral? , isInteger x = fromInteger (round x) == x MIPfractional part ) fracPart x = x - fromInteger (floor x) (c) Masahiro Sakai 2011-2014 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNone  -?_MIPParse a string containing LP file data. The source name is only used in error messages and may be the empty string.MIP%Parse a file containing LP file data.MIPLP file parserMIPRender a problem into a  containing LP file data.(c) Masahiro Sakai 2012-2014 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNone  -?MIPParse a string containing MPS file data. The source name is only used in error messages and may be the empty string.MIP&Parse a file containing MPS file data.MIPMPS file parserMIPRender a problem into a  containing MPS file data.(c) Masahiro Sakai 2011-2014 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNone ? MIP-Parse LP or MPS file based on file extension.MIP%Parse a file containing LP file data.MIP&Parse a file containing MPS file data.MIP'Parse a string containing LP file data.MIP(Parse a string containing MPS file data.MIP5Generate LP file or MPS file based on file extension.MIPGenerate LP file.MIPGenerate MPS file.MIP Generate a  containing LP file data.MIP Generate a  containing MPS file data.  !"%#$&'-,+*()./2013456789=<:;>?@AHGFEDBCIJKLMNOPQRSTUVWXYZ[ (c) Masahiro Sakai 2017 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNone (c) Masahiro Sakai 2017 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNone ?(c) Masahiro Sakai 2017 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNone  (c) Masahiro Sakai 2012,2017 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNone    (c) Masahiro Sakai 2017 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNone  (c) Masahiro Sakai 2017 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNoneMIPtime limit in secondsMIP#invoked when a solver output a lineMIP-invoked when a solver output a line to stderr   (c) Masahiro Sakai 2017 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNoneK (c) Masahiro Sakai 2017 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNone(c) Masahiro Sakai 2017 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNoneW(c) Masahiro Sakai 2017 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNone(c) Masahiro Sakai 2017 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNonec(c) Masahiro Sakai 2017 BSD-stylemasahiro.sakai@gmail.com provisional non-portableNone(c) Masahiro Sakai 2017 BSD-stylemasahiro.sakai@gmail.com provisionalportableNoneg! Safe-Inferred ! " # $%%&'())*+,-./01234456789:;<=>??@ABCDEFFGHIJJKKLMNOPQRSTUUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                          "MIP-0.1.1.0-BTyNJqK1yqq2QWV9S87TpmNumeric.Optimization.MIP.Base"Numeric.Optimization.MIP.FileUtilsNumeric.Optimization.MIP.LPFile Numeric.Optimization.MIP.MPSFileNumeric.Optimization.MIP%Numeric.Optimization.MIP.Solution.CBC'Numeric.Optimization.MIP.Solution.CPLEX&Numeric.Optimization.MIP.Solution.GLPK(Numeric.Optimization.MIP.Solution.Gurobi&Numeric.Optimization.MIP.Solution.SCIP$Numeric.Optimization.MIP.Solver.Base#Numeric.Optimization.MIP.Solver.CBC%Numeric.Optimization.MIP.Solver.CPLEX&Numeric.Optimization.MIP.Solver.Glpsol(Numeric.Optimization.MIP.Solver.GurobiCl'Numeric.Optimization.MIP.Solver.LPSolve$Numeric.Optimization.MIP.Solver.SCIP-Numeric.Optimization.MIP.Internal.ProcessUtil&Numeric.Optimization.MIP.Internal.UtilNumeric.Optimization.MIP.Solver Paths_MIP#OptDir-0.0.4-FBOnrIkW0cS4YfvluPHB8j Data.OptDirOptMaxOptMinOptDir1data-default-class-0.1.2.0-IIN1s3V8yfYEDHe5yjxXHVData.Default.ClassdefDefault-extended-reals-0.2.4.0-JWor69bDPbvFbsKSWLdpbLData.ExtendedRealPosInfFiniteNegInfExtended FileOptionsoptFileEncoding VariablesvarsSolution solStatussolObjectiveValue solVariablesStatus StatusUnknownStatusFeasible StatusOptimalStatusInfeasibleOrUnboundedStatusInfeasibleStatusUnbounded SOSConstraintsosLabelsosTypesosBodySOSTypeS1S2RelOpLeGeEql Constraint constrLabelconstrIndicator constrExprconstrLBconstrUB constrIsLazyObjectiveFunctionobjLabelobjDirobjExprTermExprBounds BoundExprVarTypeContinuousVariableIntegerVariableSemiContinuousVariableSemiIntegerVariableVarLabelProblemnameobjectiveFunction constraintssosConstraintsuserCutsvarType varBoundstoVarfromVar getVarType defaultBounds defaultLB defaultUB getBoundsintersectBoundsvarExpr constExprterms.==..<=..>=. meetStatus variablesintegerVariablessemiContinuousVariablessemiIntegerVariables$fDefaultVarType $fFunctorTerm $fFunctorExpr $fNumExpr$fFunctorObjectiveFunction$fDefaultObjectiveFunction$fFunctorConstraint$fDefaultConstraint$fFunctorSOSConstraint$fFunctorProblem$fDefaultProblem$fPartialOrdStatus$fDefaultSolution$fFunctorSolution$fVariablesSOSConstraint$fVariablesConstraint$fVariablesObjectiveFunction$fVariablesTerm$fVariablesExpr$fVariablesProblem$fVariablesEither $fVariables[]$fDefaultFileOptions$fShowFileOptions $fEqSolution $fOrdSolution$fShowSolution $fEqStatus $fOrdStatus $fEnumStatus$fBoundedStatus $fShowStatus $fShowProblem $fEqProblem $fOrdProblem$fEqSOSConstraint$fOrdSOSConstraint$fShowSOSConstraint $fEqSOSType $fOrdSOSType $fEnumSOSType $fShowSOSType $fReadSOSType $fEqRelOp $fOrdRelOp $fEnumRelOp $fShowRelOp$fEqConstraint$fOrdConstraint$fShowConstraint$fEqObjectiveFunction$fOrdObjectiveFunction$fShowObjectiveFunction$fEqExpr $fOrdExpr $fShowExpr$fEqTerm $fOrdTerm $fShowTerm $fEqVarType $fOrdVarType $fShowVarType ParseError parseString parseFileparserrender $fEqBoundType$fOrdBoundType$fShowBoundType$fReadBoundType$fEnumBoundType$fBoundedBoundTypereadFile readLPFile readMPSFile parseLPStringparseMPSString writeFile writeLPFile writeMPSFile toLPString toMPSStringparseIsSolversolve SolveOptionssolveTimeLimit solveLoggersolveErrorLogger$fDefaultSolveOptionsCBCcbcPathcbc$fIsSolverCBCIO $fDefaultCBCCPLEX cplexPathcplex$fIsSolverCPLEXIO$fDefaultCPLEXGlpsol glpsolPathglpsol$fIsSolverGlpsolIO$fDefaultGlpsolGurobiCl gurobiClPathgurobiCl$fIsSolverGurobiClIO$fDefaultGurobiClLPSolve lpSolvePathlpSolve$fIsSolverLPSolveIO$fDefaultLPSolveSCIPscipPathscip$fIsSolverSCIPIO $fDefaultSCIPrunProcessWithOutputCallbackprocess-1.6.9.0System.Processproc combineMaybe isIntegerfracPart showRationalshowRationalAsFiniteDecimal revSequencerevMapMrevForMsetEncodingChar8 text-1.2.3.2Data.Text.Internal.LazyTextversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName