papilo - Man Page

parallel presolve for integer and linear optimization

Description

PaPILO version 2.2.0 [mode: optimized][Solvers: SCIP,SoPlex][GitHash: ] Copyright © 2020-2023 Zuse Institute Berlin (ZIB)

External libraries

Boost

1.83.0        (https://www.boost.org/)

TBB

Thread building block https://github.com/oneapi-src/oneTBB developed by Intel

GMP

6.3.0         GNU Multiple Precision Arithmetic Library developed by T. Granlund (gmplib.org)

SCIP

9.0.0         Mixed Integer Programming Solver developed at Zuse Institute Berlin (scip.zib.de) [GitHash: NoGitInfo]

SoPlex

7.0.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: NoGitInfo]

usage

papilo [COMMAND] [ARGUMENTS]

-h [ --help ]

produce help message

--command arg

command: {presolve, solve, postsolve}.

--args arg

arguments for the command

presolve command

-f [ --file ] arg

instance file

-a [ --arithmetic-type ] arg (=d) 'd' for double precision, 'q' for quad

precision, and 'r' for exact rational arithmetic

-v [ --postsolve-archive ] arg

filename for postsolve archive

-b [ --validate-solution ] arg

optimal solution for validation

-r [ --reduced-problem ] arg

filename for reduced problem

-p [ --parameter-settings ] arg

filename for presolve parameter settings

--print-params

print possible parameters presolving

-t [ --threads ] arg (=0)

solve command

-f [ --file ] arg

instance file

-a [ --arithmetic-type ] arg (=d)

'd' for double precision, 'q' for quad precision, and 'r' for exact rational arithmetic

-v [ --postsolve-archive ] arg

filename for postsolve archive

-r [ --reduced-problem ] arg

filename for reduced problem

-p [ --parameter-settings ] arg

filename for presolve parameter settings

--print-params

print possible parameters presolving

-t [ --threads ] arg (=0)

-u [ --reduced-solution ] arg

filename for solution of reduced problem

-l [ --solution ] arg

filename for solution

--dualsolution arg

filename for dual solution

-c [ --reducedcosts ] arg

filename for reduced costs

-w [ --basis ] arg

filename for basis information

-o [ --reference-objective ] arg

correct objective value for validation

-b [ --validate-solution ] arg

optimal solution for validation

-s [ --scip-settings ] arg

SCIP settings file

-x [ --soplex-settings ] arg

SoPlex settings file

--tlim arg (=1.7976931348623157e+308) time limit for solver (including

presolve time)

--print-stats

print detailed solver statistics

postsolve command

-f [ --file ] arg

instance file

-a [ --arithmetic-type ] arg (=d) 'd' for double precision, 'q' for quad

precision, and 'r' for exact rational arithmetic

-v [ --postsolve-archive ] arg

filename for postsolve archive

--dual-reduced-solution arg

filename for the dual solution of the reduced problem

--costs-reduced-solution arg

filename for the reduced costs of the reduced problem

--basis-reduced-solution arg

filename for the basis (*bas) of the reduced problem

-u [ --reduced-solution ] arg

filename for solution of reduced problem

-l [ --solution ] arg

filename for solution

--dualsolution arg

filename for dual solution

-c [ --reducedcosts ] arg

filename for reduced costs

-w [ --basis ] arg

filename for basis information

-o [ --reference-objective ] arg

correct objective value for validation

-b [ --validate-solution ] arg

optimal solution for validation

Info

March 2024 papilo 2.2.0