├── .clang-format ├── .gitignore ├── .gitlab-ci.yml ├── .gitlab └── merge_request_templates │ └── Default.md ├── CHANGELOG ├── CMakeLists.txt ├── Format.md ├── LICENSE ├── Makefile ├── README.md ├── binaries └── CMakeLists.txt ├── check ├── VeriPB │ ├── example.opb │ ├── example.pbp │ ├── verify_files_with_veripb.sh │ └── verify_single_file_with_veripb.sh ├── check.sh ├── check_cluster.sh ├── configuration_cluster.sh ├── configuration_logfiles.sh ├── configuration_set.sh ├── configuration_solufile.sh ├── evalcheck_cluster.sh ├── instances │ ├── IP │ │ ├── air01.opb │ │ ├── air02.opb │ │ ├── air03.opb │ │ ├── air06.opb │ │ ├── bm23.opb │ │ ├── cracpb1.opb │ │ ├── enigma.opb │ │ ├── lseu.opb │ │ └── pipex.opb │ ├── LP │ │ ├── adlittle.mps │ │ ├── afiro.mps │ │ ├── agg.mps │ │ ├── beaconfd.mps │ │ ├── bgetam.mps │ │ ├── blend.mps │ │ ├── bore3d.mps │ │ ├── box1.mps │ │ ├── brandy.mps │ │ ├── capri.mps │ │ ├── etamacro.mps │ │ ├── ex72a.mps │ │ ├── finnis.mps │ │ ├── forest6.mps │ │ ├── galenet.mps │ │ ├── gams10am.mps │ │ ├── gas11.mps │ │ ├── grow7.mps │ │ ├── israel.mps │ │ ├── kb2.mps │ │ ├── klein1.mps │ │ ├── lotfi.mps │ │ ├── recipe.mps │ │ ├── refinery.mps │ │ ├── sc105.mps │ │ ├── sc205.mps │ │ ├── sc50a.mps │ │ ├── sc50b.mps │ │ ├── scagr25.mps │ │ ├── scagr7.mps │ │ ├── scfxm1.mps │ │ ├── scorpion.mps │ │ ├── scrs8.mps │ │ ├── scsd1.mps │ │ ├── seba.mps │ │ ├── share1b.mps │ │ ├── share2b.mps │ │ ├── shell.mps │ │ ├── vtp-base.mps │ │ └── woodinfe.mps │ └── MIP │ │ ├── MANN_a9.clq.lp │ │ ├── bell5.mps │ │ ├── blend2.mps │ │ ├── dcmulti.mps │ │ ├── egout.mps │ │ ├── enigma.mps │ │ ├── flugpl.mps │ │ ├── gt2.mps │ │ ├── lseu.mps │ │ ├── misc03.mps │ │ ├── p0548.mps │ │ └── rgn.mps ├── ipet │ ├── PapiloSolver.py │ ├── papilo_evaluation.xml │ ├── papilo_evaluation_groupsettings.xml │ └── papilo_evaluation_solver_specific.xml ├── parser │ ├── LogFileParser.py │ ├── TableParser.py │ ├── lock.py │ ├── papilo_parser.py │ └── requirements.txt ├── run.sh ├── testset │ ├── short.solu │ └── short.test ├── waitcluster.sh └── wakeup-slurm ├── cmake ├── Dependencies.cmake ├── Modules │ ├── FindGLOP.cmake │ ├── FindGMP.cmake │ ├── FindGUROBI.cmake │ ├── FindQuadmath.cmake │ └── FindTBB.cmake └── StdAtomic.cmake ├── make ├── local │ ├── make.htccmp │ ├── make.htclogin │ └── make.targets ├── make.detecthost └── make.project ├── papilo-config.cmake.in ├── parameters.txt ├── scripts ├── change_version.sh ├── increment_apiversion.sh ├── makedist.sh ├── scip_solve ├── solve_instances └── updatedates.sh ├── settings ├── 16_threads.set ├── 2_threads.set ├── 32_threads.set ├── 4_threads.set ├── 8_threads.set ├── default.set ├── lp_presolvers_with_basis.set ├── lp_presolvers_without_basis.set ├── lp_presolvers_without_basis_glop.set ├── no_strong_dual_reductions.set ├── roundingsat.set ├── scip_no_strong_dual_reductions.set ├── scip_settings.set ├── sequential.set ├── sequential_not_immediately.set ├── trivial.set ├── verification.set └── verification_add.set ├── solutions.test ├── src ├── convMPS.cpp ├── duplicates.cpp ├── papilo.cpp ├── papilo │ ├── CMakeConfig.hpp.in │ ├── Config.hpp │ ├── core │ │ ├── Components.hpp │ │ ├── ConstraintMatrix.cpp │ │ ├── ConstraintMatrix.hpp │ │ ├── MatrixBuffer.hpp │ │ ├── Objective.hpp │ │ ├── Presolve.cpp │ │ ├── Presolve.hpp │ │ ├── PresolveMethod.hpp │ │ ├── PresolveOptions.hpp │ │ ├── ProbingView.cpp │ │ ├── ProbingView.hpp │ │ ├── Problem.hpp │ │ ├── ProblemBuilder.hpp │ │ ├── ProblemFlag.hpp │ │ ├── ProblemUpdate.cpp │ │ ├── ProblemUpdate.hpp │ │ ├── Reductions.hpp │ │ ├── RowFlags.hpp │ │ ├── SingleRow.hpp │ │ ├── Solution.hpp │ │ ├── SparseStorage.cpp │ │ ├── SparseStorage.hpp │ │ ├── Statistics.hpp │ │ ├── SymmetryStorage.hpp │ │ ├── VariableDomains.cpp │ │ ├── VariableDomains.hpp │ │ └── postsolve │ │ │ ├── BoundStorage.hpp │ │ │ ├── Postsolve.cpp │ │ │ ├── Postsolve.hpp │ │ │ ├── PostsolveStatus.hpp │ │ │ ├── PostsolveStorage.cpp │ │ │ ├── PostsolveStorage.hpp │ │ │ ├── PostsolveType.hpp │ │ │ ├── ReductionType.hpp │ │ │ └── SavedRow.hpp │ ├── external │ │ ├── catch │ │ │ ├── LICENSE.txt │ │ │ ├── README.md │ │ │ ├── catch_amalgamated.cpp │ │ │ └── catch_amalgamated.hpp │ │ ├── fmt │ │ │ ├── CONTRIBUTING.md │ │ │ ├── ChangeLog.rst │ │ │ ├── LICENSE.rst │ │ │ ├── README.rst │ │ │ ├── chrono.h │ │ │ ├── color.h │ │ │ ├── compile.h │ │ │ ├── core.h │ │ │ ├── format-inl.h │ │ │ ├── format.cc │ │ │ ├── format.h │ │ │ ├── locale.h │ │ │ ├── os.cc │ │ │ ├── os.h │ │ │ ├── ostream.h │ │ │ ├── posix.h │ │ │ ├── printf.h │ │ │ └── ranges.h │ │ ├── lusol │ │ │ ├── .gitignore │ │ │ ├── CHANGES.md │ │ │ ├── LICENSE.md │ │ │ ├── NOTES.md │ │ │ ├── README.md │ │ │ ├── clusol.h │ │ │ ├── gen │ │ │ │ ├── README.md │ │ │ │ ├── interface.py │ │ │ │ ├── interface_files.org │ │ │ │ ├── lu1fac.org │ │ │ │ ├── lu6mul.org │ │ │ │ ├── lu6sol.org │ │ │ │ ├── lu8adc.org │ │ │ │ ├── lu8adr.org │ │ │ │ ├── lu8dlc.org │ │ │ │ ├── lu8dlr.org │ │ │ │ ├── lu8mod.org │ │ │ │ ├── lu8rpc.org │ │ │ │ └── lu8rpr.org │ │ │ ├── makefile │ │ │ └── src │ │ │ │ ├── README.md │ │ │ │ ├── clusol.c │ │ │ │ ├── lusol.f90 │ │ │ │ ├── lusol.txt │ │ │ │ ├── lusol6b.f │ │ │ │ ├── lusol7b.f │ │ │ │ ├── lusol8b.f │ │ │ │ ├── lusol_precision.f90 │ │ │ │ ├── lusol_util.f │ │ │ │ ├── symbols.map │ │ │ │ └── symbols.osx │ │ ├── pdqsort │ │ │ ├── license.txt │ │ │ ├── pdqsort.h │ │ │ └── readme.md │ │ └── ska │ │ │ ├── LICENSE.txt │ │ │ ├── bytell_hash_map.hpp │ │ │ ├── flat_hash_map.hpp │ │ │ └── unordered_map.hpp │ ├── interfaces │ │ ├── GlopInterface.hpp │ │ ├── GurobiInterface.hpp │ │ ├── HighsInterface.hpp │ │ ├── RoundingsatInterface.hpp │ │ ├── ScipInterface.hpp │ │ ├── SolverInterface.hpp │ │ └── SoplexInterface.hpp │ ├── io │ │ ├── BoundType.hpp │ │ ├── Message.hpp │ │ ├── MpsParser.hpp │ │ ├── MpsWriter.hpp │ │ ├── OpbParser.hpp │ │ ├── OpbWriter.hpp │ │ ├── ParseKey.hpp │ │ ├── Parser.hpp │ │ ├── SolParser.hpp │ │ └── SolWriter.hpp │ ├── misc │ │ ├── Alloc.hpp │ │ ├── Array.hpp │ │ ├── DependentRows.hpp │ │ ├── Flags.hpp │ │ ├── Hash.hpp │ │ ├── MultiPrecision.hpp │ │ ├── Num.hpp │ │ ├── NumericalStatistics.hpp │ │ ├── OptionsParser.hpp │ │ ├── ParameterSet.hpp │ │ ├── PrimalDualSolValidation.hpp │ │ ├── Signature.hpp │ │ ├── StableSum.hpp │ │ ├── String.hpp │ │ ├── Timer.hpp │ │ ├── Validation.hpp │ │ ├── Vec.hpp │ │ ├── VectorUtils.hpp │ │ ├── VersionLogger.hpp │ │ ├── Wrappers.hpp │ │ ├── compress_vector.hpp │ │ ├── extended_euclidean.hpp │ │ ├── fmt.hpp │ │ └── tbb.hpp │ ├── presolvers │ │ ├── CliqueMerging.cpp │ │ ├── CliqueMerging.hpp │ │ ├── CoefficientStrengthening.cpp │ │ ├── CoefficientStrengthening.hpp │ │ ├── ConstraintPropagation.cpp │ │ ├── ConstraintPropagation.hpp │ │ ├── DominatedCols.cpp │ │ ├── DominatedCols.hpp │ │ ├── DualFix.cpp │ │ ├── DualFix.hpp │ │ ├── DualInfer.cpp │ │ ├── DualInfer.hpp │ │ ├── FixContinuous.cpp │ │ ├── FixContinuous.hpp │ │ ├── FreeVarSubstitution.cpp │ │ ├── FreeVarSubstitution.hpp │ │ ├── ImplIntDetection.cpp │ │ ├── ImplIntDetection.hpp │ │ ├── ParallelColDetection.cpp │ │ ├── ParallelColDetection.hpp │ │ ├── ParallelRowDetection.cpp │ │ ├── ParallelRowDetection.hpp │ │ ├── Probing.cpp │ │ ├── Probing.hpp │ │ ├── SimpleProbing.cpp │ │ ├── SimpleProbing.hpp │ │ ├── SimpleSubstitution.cpp │ │ ├── SimpleSubstitution.hpp │ │ ├── SimplifyInequalities.cpp │ │ ├── SimplifyInequalities.hpp │ │ ├── SingletonCols.cpp │ │ ├── SingletonCols.hpp │ │ ├── SingletonStuffing.cpp │ │ ├── SingletonStuffing.hpp │ │ ├── Sparsify.cpp │ │ └── Sparsify.hpp │ └── verification │ │ ├── ArgumentType.hpp │ │ ├── CertificateInterface.hpp │ │ ├── EmptyCertificate.hpp │ │ └── VeriPb.hpp ├── papilolib.cpp └── papilolib.h ├── suppressions.valgrind └── test ├── CMakeLists.txt ├── PapiloLib.cpp ├── TestMain.cpp ├── check_CmakeConfig_includes.sh ├── instances ├── dual_fix_neg_inf.mps ├── dual_fix_pos_inf.mps ├── presolved_ns2080781.mps ├── simple_subsitution_gdc_detection.mps └── test.mps ├── papilo ├── core │ ├── MatrixBufferTest.cpp │ ├── PostsolveTest.cpp │ ├── PresolveTest.cpp │ ├── ProblemUpdateTest.cpp │ └── SparseStorageTest.cpp ├── io │ └── MpsParserTest.cpp ├── misc │ └── VectorUtilsTest.cpp └── presolve │ ├── CliqueMergingTest.cpp │ ├── CoefficientStrengtheningTest.cpp │ ├── ConstraintPropagationTest.cpp │ ├── DominatedColsTest.cpp │ ├── DualFixTest.cpp │ ├── FixContinuousTest.cpp │ ├── FreeVarSubstitutionTest.cpp │ ├── ImplIntDetectionTest.cpp │ ├── ParallelColDetectionTest.cpp │ ├── ParallelRowDetectionTest.cpp │ ├── ProbingTest.cpp │ ├── SimpleProbingTest.cpp │ ├── SimpleSubstitutionTest.cpp │ ├── SimplifyInequalitiesTest.cpp │ ├── SingletonColsTest.cpp │ ├── SingletonStuffingTest.cpp │ └── SparsifyTest.cpp └── resources ├── dual_fix_neg_inf.postsolve ├── dual_fix_pos_inf.postsolve ├── kb2.bas ├── kb2.postsolve ├── kb2_dual.solution ├── kb2_primal.solution └── kb2_reduced.solution /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/.clang-format -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /.gitlab/merge_request_templates/Default.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/.gitlab/merge_request_templates/Default.md -------------------------------------------------------------------------------- /CHANGELOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/CHANGELOG -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /Format.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/Format.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/README.md -------------------------------------------------------------------------------- /binaries/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/binaries/CMakeLists.txt -------------------------------------------------------------------------------- /check/VeriPB/example.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/VeriPB/example.opb -------------------------------------------------------------------------------- /check/VeriPB/example.pbp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/VeriPB/example.pbp -------------------------------------------------------------------------------- /check/VeriPB/verify_files_with_veripb.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/VeriPB/verify_files_with_veripb.sh -------------------------------------------------------------------------------- /check/VeriPB/verify_single_file_with_veripb.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/VeriPB/verify_single_file_with_veripb.sh -------------------------------------------------------------------------------- /check/check.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/check.sh -------------------------------------------------------------------------------- /check/check_cluster.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/check_cluster.sh -------------------------------------------------------------------------------- /check/configuration_cluster.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/configuration_cluster.sh -------------------------------------------------------------------------------- /check/configuration_logfiles.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/configuration_logfiles.sh -------------------------------------------------------------------------------- /check/configuration_set.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/configuration_set.sh -------------------------------------------------------------------------------- /check/configuration_solufile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/configuration_solufile.sh -------------------------------------------------------------------------------- /check/evalcheck_cluster.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/evalcheck_cluster.sh -------------------------------------------------------------------------------- /check/instances/IP/air01.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/IP/air01.opb -------------------------------------------------------------------------------- /check/instances/IP/air02.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/IP/air02.opb -------------------------------------------------------------------------------- /check/instances/IP/air03.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/IP/air03.opb -------------------------------------------------------------------------------- /check/instances/IP/air06.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/IP/air06.opb -------------------------------------------------------------------------------- /check/instances/IP/bm23.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/IP/bm23.opb -------------------------------------------------------------------------------- /check/instances/IP/cracpb1.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/IP/cracpb1.opb -------------------------------------------------------------------------------- /check/instances/IP/enigma.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/IP/enigma.opb -------------------------------------------------------------------------------- /check/instances/IP/lseu.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/IP/lseu.opb -------------------------------------------------------------------------------- /check/instances/IP/pipex.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/IP/pipex.opb -------------------------------------------------------------------------------- /check/instances/LP/adlittle.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/adlittle.mps -------------------------------------------------------------------------------- /check/instances/LP/afiro.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/afiro.mps -------------------------------------------------------------------------------- /check/instances/LP/agg.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/agg.mps -------------------------------------------------------------------------------- /check/instances/LP/beaconfd.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/beaconfd.mps -------------------------------------------------------------------------------- /check/instances/LP/bgetam.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/bgetam.mps -------------------------------------------------------------------------------- /check/instances/LP/blend.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/blend.mps -------------------------------------------------------------------------------- /check/instances/LP/bore3d.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/bore3d.mps -------------------------------------------------------------------------------- /check/instances/LP/box1.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/box1.mps -------------------------------------------------------------------------------- /check/instances/LP/brandy.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/brandy.mps -------------------------------------------------------------------------------- /check/instances/LP/capri.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/capri.mps -------------------------------------------------------------------------------- /check/instances/LP/etamacro.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/etamacro.mps -------------------------------------------------------------------------------- /check/instances/LP/ex72a.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/ex72a.mps -------------------------------------------------------------------------------- /check/instances/LP/finnis.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/finnis.mps -------------------------------------------------------------------------------- /check/instances/LP/forest6.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/forest6.mps -------------------------------------------------------------------------------- /check/instances/LP/galenet.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/galenet.mps -------------------------------------------------------------------------------- /check/instances/LP/gams10am.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/gams10am.mps -------------------------------------------------------------------------------- /check/instances/LP/gas11.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/gas11.mps -------------------------------------------------------------------------------- /check/instances/LP/grow7.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/grow7.mps -------------------------------------------------------------------------------- /check/instances/LP/israel.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/israel.mps -------------------------------------------------------------------------------- /check/instances/LP/kb2.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/kb2.mps -------------------------------------------------------------------------------- /check/instances/LP/klein1.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/klein1.mps -------------------------------------------------------------------------------- /check/instances/LP/lotfi.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/lotfi.mps -------------------------------------------------------------------------------- /check/instances/LP/recipe.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/recipe.mps -------------------------------------------------------------------------------- /check/instances/LP/refinery.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/refinery.mps -------------------------------------------------------------------------------- /check/instances/LP/sc105.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/sc105.mps -------------------------------------------------------------------------------- /check/instances/LP/sc205.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/sc205.mps -------------------------------------------------------------------------------- /check/instances/LP/sc50a.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/sc50a.mps -------------------------------------------------------------------------------- /check/instances/LP/sc50b.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/sc50b.mps -------------------------------------------------------------------------------- /check/instances/LP/scagr25.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/scagr25.mps -------------------------------------------------------------------------------- /check/instances/LP/scagr7.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/scagr7.mps -------------------------------------------------------------------------------- /check/instances/LP/scfxm1.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/scfxm1.mps -------------------------------------------------------------------------------- /check/instances/LP/scorpion.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/scorpion.mps -------------------------------------------------------------------------------- /check/instances/LP/scrs8.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/scrs8.mps -------------------------------------------------------------------------------- /check/instances/LP/scsd1.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/scsd1.mps -------------------------------------------------------------------------------- /check/instances/LP/seba.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/seba.mps -------------------------------------------------------------------------------- /check/instances/LP/share1b.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/share1b.mps -------------------------------------------------------------------------------- /check/instances/LP/share2b.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/share2b.mps -------------------------------------------------------------------------------- /check/instances/LP/shell.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/shell.mps -------------------------------------------------------------------------------- /check/instances/LP/vtp-base.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/vtp-base.mps -------------------------------------------------------------------------------- /check/instances/LP/woodinfe.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/LP/woodinfe.mps -------------------------------------------------------------------------------- /check/instances/MIP/MANN_a9.clq.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/MIP/MANN_a9.clq.lp -------------------------------------------------------------------------------- /check/instances/MIP/bell5.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/MIP/bell5.mps -------------------------------------------------------------------------------- /check/instances/MIP/blend2.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/MIP/blend2.mps -------------------------------------------------------------------------------- /check/instances/MIP/dcmulti.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/MIP/dcmulti.mps -------------------------------------------------------------------------------- /check/instances/MIP/egout.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/MIP/egout.mps -------------------------------------------------------------------------------- /check/instances/MIP/enigma.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/MIP/enigma.mps -------------------------------------------------------------------------------- /check/instances/MIP/flugpl.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/MIP/flugpl.mps -------------------------------------------------------------------------------- /check/instances/MIP/gt2.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/MIP/gt2.mps -------------------------------------------------------------------------------- /check/instances/MIP/lseu.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/MIP/lseu.mps -------------------------------------------------------------------------------- /check/instances/MIP/misc03.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/MIP/misc03.mps -------------------------------------------------------------------------------- /check/instances/MIP/p0548.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/MIP/p0548.mps -------------------------------------------------------------------------------- /check/instances/MIP/rgn.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/instances/MIP/rgn.mps -------------------------------------------------------------------------------- /check/ipet/PapiloSolver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/ipet/PapiloSolver.py -------------------------------------------------------------------------------- /check/ipet/papilo_evaluation.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/ipet/papilo_evaluation.xml -------------------------------------------------------------------------------- /check/ipet/papilo_evaluation_groupsettings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/ipet/papilo_evaluation_groupsettings.xml -------------------------------------------------------------------------------- /check/ipet/papilo_evaluation_solver_specific.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/ipet/papilo_evaluation_solver_specific.xml -------------------------------------------------------------------------------- /check/parser/LogFileParser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/parser/LogFileParser.py -------------------------------------------------------------------------------- /check/parser/TableParser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/parser/TableParser.py -------------------------------------------------------------------------------- /check/parser/lock.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/parser/lock.py -------------------------------------------------------------------------------- /check/parser/papilo_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/parser/papilo_parser.py -------------------------------------------------------------------------------- /check/parser/requirements.txt: -------------------------------------------------------------------------------- 1 | dataclasses 2 | numpy 3 | -------------------------------------------------------------------------------- /check/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/run.sh -------------------------------------------------------------------------------- /check/testset/short.solu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/testset/short.solu -------------------------------------------------------------------------------- /check/testset/short.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/testset/short.test -------------------------------------------------------------------------------- /check/waitcluster.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/waitcluster.sh -------------------------------------------------------------------------------- /check/wakeup-slurm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/check/wakeup-slurm -------------------------------------------------------------------------------- /cmake/Dependencies.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/cmake/Dependencies.cmake -------------------------------------------------------------------------------- /cmake/Modules/FindGLOP.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/cmake/Modules/FindGLOP.cmake -------------------------------------------------------------------------------- /cmake/Modules/FindGMP.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/cmake/Modules/FindGMP.cmake -------------------------------------------------------------------------------- /cmake/Modules/FindGUROBI.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/cmake/Modules/FindGUROBI.cmake -------------------------------------------------------------------------------- /cmake/Modules/FindQuadmath.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/cmake/Modules/FindQuadmath.cmake -------------------------------------------------------------------------------- /cmake/Modules/FindTBB.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/cmake/Modules/FindTBB.cmake -------------------------------------------------------------------------------- /cmake/StdAtomic.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/cmake/StdAtomic.cmake -------------------------------------------------------------------------------- /make/local/make.htccmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/make/local/make.htccmp -------------------------------------------------------------------------------- /make/local/make.htclogin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/make/local/make.htclogin -------------------------------------------------------------------------------- /make/local/make.targets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/make/local/make.targets -------------------------------------------------------------------------------- /make/make.detecthost: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/make/make.detecthost -------------------------------------------------------------------------------- /make/make.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/make/make.project -------------------------------------------------------------------------------- /papilo-config.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/papilo-config.cmake.in -------------------------------------------------------------------------------- /parameters.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/parameters.txt -------------------------------------------------------------------------------- /scripts/change_version.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/scripts/change_version.sh -------------------------------------------------------------------------------- /scripts/increment_apiversion.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/scripts/increment_apiversion.sh -------------------------------------------------------------------------------- /scripts/makedist.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/scripts/makedist.sh -------------------------------------------------------------------------------- /scripts/scip_solve: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/scripts/scip_solve -------------------------------------------------------------------------------- /scripts/solve_instances: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/scripts/solve_instances -------------------------------------------------------------------------------- /scripts/updatedates.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/scripts/updatedates.sh -------------------------------------------------------------------------------- /settings/16_threads.set: -------------------------------------------------------------------------------- 1 | presolve.threads = 16 -------------------------------------------------------------------------------- /settings/2_threads.set: -------------------------------------------------------------------------------- 1 | presolve.threads = 2 2 | -------------------------------------------------------------------------------- /settings/32_threads.set: -------------------------------------------------------------------------------- 1 | presolve.threads = 32 -------------------------------------------------------------------------------- /settings/4_threads.set: -------------------------------------------------------------------------------- 1 | presolve.threads = 4 -------------------------------------------------------------------------------- /settings/8_threads.set: -------------------------------------------------------------------------------- 1 | presolve.threads = 8 -------------------------------------------------------------------------------- /settings/default.set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/settings/default.set -------------------------------------------------------------------------------- /settings/lp_presolvers_with_basis.set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/settings/lp_presolvers_with_basis.set -------------------------------------------------------------------------------- /settings/lp_presolvers_without_basis.set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/settings/lp_presolvers_without_basis.set -------------------------------------------------------------------------------- /settings/lp_presolvers_without_basis_glop.set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/settings/lp_presolvers_without_basis_glop.set -------------------------------------------------------------------------------- /settings/no_strong_dual_reductions.set: -------------------------------------------------------------------------------- 1 | presolve.dualreds = 1 2 | -------------------------------------------------------------------------------- /settings/roundingsat.set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/settings/roundingsat.set -------------------------------------------------------------------------------- /settings/scip_no_strong_dual_reductions.set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/settings/scip_no_strong_dual_reductions.set -------------------------------------------------------------------------------- /settings/scip_settings.set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/settings/scip_settings.set -------------------------------------------------------------------------------- /settings/sequential.set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/settings/sequential.set -------------------------------------------------------------------------------- /settings/sequential_not_immediately.set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/settings/sequential_not_immediately.set -------------------------------------------------------------------------------- /settings/trivial.set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/settings/trivial.set -------------------------------------------------------------------------------- /settings/verification.set: -------------------------------------------------------------------------------- 1 | verification_with_VeriPB = 1 2 | -------------------------------------------------------------------------------- /settings/verification_add.set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/settings/verification_add.set -------------------------------------------------------------------------------- /solutions.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/solutions.test -------------------------------------------------------------------------------- /src/convMPS.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/convMPS.cpp -------------------------------------------------------------------------------- /src/duplicates.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/duplicates.cpp -------------------------------------------------------------------------------- /src/papilo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo.cpp -------------------------------------------------------------------------------- /src/papilo/CMakeConfig.hpp.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/CMakeConfig.hpp.in -------------------------------------------------------------------------------- /src/papilo/Config.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/Config.hpp -------------------------------------------------------------------------------- /src/papilo/core/Components.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/Components.hpp -------------------------------------------------------------------------------- /src/papilo/core/ConstraintMatrix.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/ConstraintMatrix.cpp -------------------------------------------------------------------------------- /src/papilo/core/ConstraintMatrix.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/ConstraintMatrix.hpp -------------------------------------------------------------------------------- /src/papilo/core/MatrixBuffer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/MatrixBuffer.hpp -------------------------------------------------------------------------------- /src/papilo/core/Objective.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/Objective.hpp -------------------------------------------------------------------------------- /src/papilo/core/Presolve.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/Presolve.cpp -------------------------------------------------------------------------------- /src/papilo/core/Presolve.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/Presolve.hpp -------------------------------------------------------------------------------- /src/papilo/core/PresolveMethod.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/PresolveMethod.hpp -------------------------------------------------------------------------------- /src/papilo/core/PresolveOptions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/PresolveOptions.hpp -------------------------------------------------------------------------------- /src/papilo/core/ProbingView.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/ProbingView.cpp -------------------------------------------------------------------------------- /src/papilo/core/ProbingView.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/ProbingView.hpp -------------------------------------------------------------------------------- /src/papilo/core/Problem.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/Problem.hpp -------------------------------------------------------------------------------- /src/papilo/core/ProblemBuilder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/ProblemBuilder.hpp -------------------------------------------------------------------------------- /src/papilo/core/ProblemFlag.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/ProblemFlag.hpp -------------------------------------------------------------------------------- /src/papilo/core/ProblemUpdate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/ProblemUpdate.cpp -------------------------------------------------------------------------------- /src/papilo/core/ProblemUpdate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/ProblemUpdate.hpp -------------------------------------------------------------------------------- /src/papilo/core/Reductions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/Reductions.hpp -------------------------------------------------------------------------------- /src/papilo/core/RowFlags.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/RowFlags.hpp -------------------------------------------------------------------------------- /src/papilo/core/SingleRow.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/SingleRow.hpp -------------------------------------------------------------------------------- /src/papilo/core/Solution.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/Solution.hpp -------------------------------------------------------------------------------- /src/papilo/core/SparseStorage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/SparseStorage.cpp -------------------------------------------------------------------------------- /src/papilo/core/SparseStorage.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/SparseStorage.hpp -------------------------------------------------------------------------------- /src/papilo/core/Statistics.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/Statistics.hpp -------------------------------------------------------------------------------- /src/papilo/core/SymmetryStorage.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/SymmetryStorage.hpp -------------------------------------------------------------------------------- /src/papilo/core/VariableDomains.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/VariableDomains.cpp -------------------------------------------------------------------------------- /src/papilo/core/VariableDomains.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/VariableDomains.hpp -------------------------------------------------------------------------------- /src/papilo/core/postsolve/BoundStorage.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/postsolve/BoundStorage.hpp -------------------------------------------------------------------------------- /src/papilo/core/postsolve/Postsolve.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/postsolve/Postsolve.cpp -------------------------------------------------------------------------------- /src/papilo/core/postsolve/Postsolve.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/postsolve/Postsolve.hpp -------------------------------------------------------------------------------- /src/papilo/core/postsolve/PostsolveStatus.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/postsolve/PostsolveStatus.hpp -------------------------------------------------------------------------------- /src/papilo/core/postsolve/PostsolveStorage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/postsolve/PostsolveStorage.cpp -------------------------------------------------------------------------------- /src/papilo/core/postsolve/PostsolveStorage.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/postsolve/PostsolveStorage.hpp -------------------------------------------------------------------------------- /src/papilo/core/postsolve/PostsolveType.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/postsolve/PostsolveType.hpp -------------------------------------------------------------------------------- /src/papilo/core/postsolve/ReductionType.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/postsolve/ReductionType.hpp -------------------------------------------------------------------------------- /src/papilo/core/postsolve/SavedRow.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/core/postsolve/SavedRow.hpp -------------------------------------------------------------------------------- /src/papilo/external/catch/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/catch/LICENSE.txt -------------------------------------------------------------------------------- /src/papilo/external/catch/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/catch/README.md -------------------------------------------------------------------------------- /src/papilo/external/catch/catch_amalgamated.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/catch/catch_amalgamated.cpp -------------------------------------------------------------------------------- /src/papilo/external/catch/catch_amalgamated.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/catch/catch_amalgamated.hpp -------------------------------------------------------------------------------- /src/papilo/external/fmt/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/CONTRIBUTING.md -------------------------------------------------------------------------------- /src/papilo/external/fmt/ChangeLog.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/ChangeLog.rst -------------------------------------------------------------------------------- /src/papilo/external/fmt/LICENSE.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/LICENSE.rst -------------------------------------------------------------------------------- /src/papilo/external/fmt/README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/README.rst -------------------------------------------------------------------------------- /src/papilo/external/fmt/chrono.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/chrono.h -------------------------------------------------------------------------------- /src/papilo/external/fmt/color.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/color.h -------------------------------------------------------------------------------- /src/papilo/external/fmt/compile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/compile.h -------------------------------------------------------------------------------- /src/papilo/external/fmt/core.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/core.h -------------------------------------------------------------------------------- /src/papilo/external/fmt/format-inl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/format-inl.h -------------------------------------------------------------------------------- /src/papilo/external/fmt/format.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/format.cc -------------------------------------------------------------------------------- /src/papilo/external/fmt/format.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/format.h -------------------------------------------------------------------------------- /src/papilo/external/fmt/locale.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/locale.h -------------------------------------------------------------------------------- /src/papilo/external/fmt/os.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/os.cc -------------------------------------------------------------------------------- /src/papilo/external/fmt/os.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/os.h -------------------------------------------------------------------------------- /src/papilo/external/fmt/ostream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/ostream.h -------------------------------------------------------------------------------- /src/papilo/external/fmt/posix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/posix.h -------------------------------------------------------------------------------- /src/papilo/external/fmt/printf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/printf.h -------------------------------------------------------------------------------- /src/papilo/external/fmt/ranges.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/fmt/ranges.h -------------------------------------------------------------------------------- /src/papilo/external/lusol/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/.gitignore -------------------------------------------------------------------------------- /src/papilo/external/lusol/CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/CHANGES.md -------------------------------------------------------------------------------- /src/papilo/external/lusol/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/LICENSE.md -------------------------------------------------------------------------------- /src/papilo/external/lusol/NOTES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/NOTES.md -------------------------------------------------------------------------------- /src/papilo/external/lusol/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/README.md -------------------------------------------------------------------------------- /src/papilo/external/lusol/clusol.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/clusol.h -------------------------------------------------------------------------------- /src/papilo/external/lusol/gen/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/gen/README.md -------------------------------------------------------------------------------- /src/papilo/external/lusol/gen/interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/gen/interface.py -------------------------------------------------------------------------------- /src/papilo/external/lusol/gen/interface_files.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/gen/interface_files.org -------------------------------------------------------------------------------- /src/papilo/external/lusol/gen/lu1fac.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/gen/lu1fac.org -------------------------------------------------------------------------------- /src/papilo/external/lusol/gen/lu6mul.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/gen/lu6mul.org -------------------------------------------------------------------------------- /src/papilo/external/lusol/gen/lu6sol.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/gen/lu6sol.org -------------------------------------------------------------------------------- /src/papilo/external/lusol/gen/lu8adc.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/gen/lu8adc.org -------------------------------------------------------------------------------- /src/papilo/external/lusol/gen/lu8adr.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/gen/lu8adr.org -------------------------------------------------------------------------------- /src/papilo/external/lusol/gen/lu8dlc.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/gen/lu8dlc.org -------------------------------------------------------------------------------- /src/papilo/external/lusol/gen/lu8dlr.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/gen/lu8dlr.org -------------------------------------------------------------------------------- /src/papilo/external/lusol/gen/lu8mod.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/gen/lu8mod.org -------------------------------------------------------------------------------- /src/papilo/external/lusol/gen/lu8rpc.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/gen/lu8rpc.org -------------------------------------------------------------------------------- /src/papilo/external/lusol/gen/lu8rpr.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/gen/lu8rpr.org -------------------------------------------------------------------------------- /src/papilo/external/lusol/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/makefile -------------------------------------------------------------------------------- /src/papilo/external/lusol/src/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/src/README.md -------------------------------------------------------------------------------- /src/papilo/external/lusol/src/clusol.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/src/clusol.c -------------------------------------------------------------------------------- /src/papilo/external/lusol/src/lusol.f90: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/src/lusol.f90 -------------------------------------------------------------------------------- /src/papilo/external/lusol/src/lusol.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/src/lusol.txt -------------------------------------------------------------------------------- /src/papilo/external/lusol/src/lusol6b.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/src/lusol6b.f -------------------------------------------------------------------------------- /src/papilo/external/lusol/src/lusol7b.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/src/lusol7b.f -------------------------------------------------------------------------------- /src/papilo/external/lusol/src/lusol8b.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/src/lusol8b.f -------------------------------------------------------------------------------- /src/papilo/external/lusol/src/lusol_precision.f90: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/src/lusol_precision.f90 -------------------------------------------------------------------------------- /src/papilo/external/lusol/src/lusol_util.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/src/lusol_util.f -------------------------------------------------------------------------------- /src/papilo/external/lusol/src/symbols.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/src/symbols.map -------------------------------------------------------------------------------- /src/papilo/external/lusol/src/symbols.osx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/lusol/src/symbols.osx -------------------------------------------------------------------------------- /src/papilo/external/pdqsort/license.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/pdqsort/license.txt -------------------------------------------------------------------------------- /src/papilo/external/pdqsort/pdqsort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/pdqsort/pdqsort.h -------------------------------------------------------------------------------- /src/papilo/external/pdqsort/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/pdqsort/readme.md -------------------------------------------------------------------------------- /src/papilo/external/ska/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/ska/LICENSE.txt -------------------------------------------------------------------------------- /src/papilo/external/ska/bytell_hash_map.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/ska/bytell_hash_map.hpp -------------------------------------------------------------------------------- /src/papilo/external/ska/flat_hash_map.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/ska/flat_hash_map.hpp -------------------------------------------------------------------------------- /src/papilo/external/ska/unordered_map.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/external/ska/unordered_map.hpp -------------------------------------------------------------------------------- /src/papilo/interfaces/GlopInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/interfaces/GlopInterface.hpp -------------------------------------------------------------------------------- /src/papilo/interfaces/GurobiInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/interfaces/GurobiInterface.hpp -------------------------------------------------------------------------------- /src/papilo/interfaces/HighsInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/interfaces/HighsInterface.hpp -------------------------------------------------------------------------------- /src/papilo/interfaces/RoundingsatInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/interfaces/RoundingsatInterface.hpp -------------------------------------------------------------------------------- /src/papilo/interfaces/ScipInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/interfaces/ScipInterface.hpp -------------------------------------------------------------------------------- /src/papilo/interfaces/SolverInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/interfaces/SolverInterface.hpp -------------------------------------------------------------------------------- /src/papilo/interfaces/SoplexInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/interfaces/SoplexInterface.hpp -------------------------------------------------------------------------------- /src/papilo/io/BoundType.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/io/BoundType.hpp -------------------------------------------------------------------------------- /src/papilo/io/Message.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/io/Message.hpp -------------------------------------------------------------------------------- /src/papilo/io/MpsParser.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/io/MpsParser.hpp -------------------------------------------------------------------------------- /src/papilo/io/MpsWriter.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/io/MpsWriter.hpp -------------------------------------------------------------------------------- /src/papilo/io/OpbParser.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/io/OpbParser.hpp -------------------------------------------------------------------------------- /src/papilo/io/OpbWriter.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/io/OpbWriter.hpp -------------------------------------------------------------------------------- /src/papilo/io/ParseKey.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/io/ParseKey.hpp -------------------------------------------------------------------------------- /src/papilo/io/Parser.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/io/Parser.hpp -------------------------------------------------------------------------------- /src/papilo/io/SolParser.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/io/SolParser.hpp -------------------------------------------------------------------------------- /src/papilo/io/SolWriter.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/io/SolWriter.hpp -------------------------------------------------------------------------------- /src/papilo/misc/Alloc.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/Alloc.hpp -------------------------------------------------------------------------------- /src/papilo/misc/Array.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/Array.hpp -------------------------------------------------------------------------------- /src/papilo/misc/DependentRows.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/DependentRows.hpp -------------------------------------------------------------------------------- /src/papilo/misc/Flags.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/Flags.hpp -------------------------------------------------------------------------------- /src/papilo/misc/Hash.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/Hash.hpp -------------------------------------------------------------------------------- /src/papilo/misc/MultiPrecision.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/MultiPrecision.hpp -------------------------------------------------------------------------------- /src/papilo/misc/Num.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/Num.hpp -------------------------------------------------------------------------------- /src/papilo/misc/NumericalStatistics.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/NumericalStatistics.hpp -------------------------------------------------------------------------------- /src/papilo/misc/OptionsParser.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/OptionsParser.hpp -------------------------------------------------------------------------------- /src/papilo/misc/ParameterSet.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/ParameterSet.hpp -------------------------------------------------------------------------------- /src/papilo/misc/PrimalDualSolValidation.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/PrimalDualSolValidation.hpp -------------------------------------------------------------------------------- /src/papilo/misc/Signature.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/Signature.hpp -------------------------------------------------------------------------------- /src/papilo/misc/StableSum.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/StableSum.hpp -------------------------------------------------------------------------------- /src/papilo/misc/String.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/String.hpp -------------------------------------------------------------------------------- /src/papilo/misc/Timer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/Timer.hpp -------------------------------------------------------------------------------- /src/papilo/misc/Validation.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/Validation.hpp -------------------------------------------------------------------------------- /src/papilo/misc/Vec.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/Vec.hpp -------------------------------------------------------------------------------- /src/papilo/misc/VectorUtils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/VectorUtils.hpp -------------------------------------------------------------------------------- /src/papilo/misc/VersionLogger.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/VersionLogger.hpp -------------------------------------------------------------------------------- /src/papilo/misc/Wrappers.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/Wrappers.hpp -------------------------------------------------------------------------------- /src/papilo/misc/compress_vector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/compress_vector.hpp -------------------------------------------------------------------------------- /src/papilo/misc/extended_euclidean.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/extended_euclidean.hpp -------------------------------------------------------------------------------- /src/papilo/misc/fmt.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/fmt.hpp -------------------------------------------------------------------------------- /src/papilo/misc/tbb.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/misc/tbb.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/CliqueMerging.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/CliqueMerging.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/CliqueMerging.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/CliqueMerging.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/CoefficientStrengthening.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/CoefficientStrengthening.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/CoefficientStrengthening.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/CoefficientStrengthening.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/ConstraintPropagation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/ConstraintPropagation.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/ConstraintPropagation.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/ConstraintPropagation.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/DominatedCols.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/DominatedCols.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/DominatedCols.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/DominatedCols.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/DualFix.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/DualFix.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/DualFix.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/DualFix.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/DualInfer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/DualInfer.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/DualInfer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/DualInfer.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/FixContinuous.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/FixContinuous.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/FixContinuous.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/FixContinuous.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/FreeVarSubstitution.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/FreeVarSubstitution.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/FreeVarSubstitution.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/FreeVarSubstitution.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/ImplIntDetection.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/ImplIntDetection.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/ImplIntDetection.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/ImplIntDetection.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/ParallelColDetection.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/ParallelColDetection.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/ParallelColDetection.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/ParallelColDetection.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/ParallelRowDetection.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/ParallelRowDetection.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/ParallelRowDetection.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/ParallelRowDetection.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/Probing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/Probing.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/Probing.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/Probing.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/SimpleProbing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/SimpleProbing.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/SimpleProbing.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/SimpleProbing.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/SimpleSubstitution.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/SimpleSubstitution.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/SimpleSubstitution.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/SimpleSubstitution.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/SimplifyInequalities.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/SimplifyInequalities.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/SimplifyInequalities.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/SimplifyInequalities.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/SingletonCols.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/SingletonCols.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/SingletonCols.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/SingletonCols.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/SingletonStuffing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/SingletonStuffing.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/SingletonStuffing.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/SingletonStuffing.hpp -------------------------------------------------------------------------------- /src/papilo/presolvers/Sparsify.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/Sparsify.cpp -------------------------------------------------------------------------------- /src/papilo/presolvers/Sparsify.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/presolvers/Sparsify.hpp -------------------------------------------------------------------------------- /src/papilo/verification/ArgumentType.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/verification/ArgumentType.hpp -------------------------------------------------------------------------------- /src/papilo/verification/CertificateInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/verification/CertificateInterface.hpp -------------------------------------------------------------------------------- /src/papilo/verification/EmptyCertificate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/verification/EmptyCertificate.hpp -------------------------------------------------------------------------------- /src/papilo/verification/VeriPb.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilo/verification/VeriPb.hpp -------------------------------------------------------------------------------- /src/papilolib.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilolib.cpp -------------------------------------------------------------------------------- /src/papilolib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/src/papilolib.h -------------------------------------------------------------------------------- /suppressions.valgrind: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/suppressions.valgrind -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/PapiloLib.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/PapiloLib.cpp -------------------------------------------------------------------------------- /test/TestMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/TestMain.cpp -------------------------------------------------------------------------------- /test/check_CmakeConfig_includes.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/check_CmakeConfig_includes.sh -------------------------------------------------------------------------------- /test/instances/dual_fix_neg_inf.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/instances/dual_fix_neg_inf.mps -------------------------------------------------------------------------------- /test/instances/dual_fix_pos_inf.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/instances/dual_fix_pos_inf.mps -------------------------------------------------------------------------------- /test/instances/presolved_ns2080781.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/instances/presolved_ns2080781.mps -------------------------------------------------------------------------------- /test/instances/simple_subsitution_gdc_detection.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/instances/simple_subsitution_gdc_detection.mps -------------------------------------------------------------------------------- /test/instances/test.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/instances/test.mps -------------------------------------------------------------------------------- /test/papilo/core/MatrixBufferTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/core/MatrixBufferTest.cpp -------------------------------------------------------------------------------- /test/papilo/core/PostsolveTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/core/PostsolveTest.cpp -------------------------------------------------------------------------------- /test/papilo/core/PresolveTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/core/PresolveTest.cpp -------------------------------------------------------------------------------- /test/papilo/core/ProblemUpdateTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/core/ProblemUpdateTest.cpp -------------------------------------------------------------------------------- /test/papilo/core/SparseStorageTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/core/SparseStorageTest.cpp -------------------------------------------------------------------------------- /test/papilo/io/MpsParserTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/io/MpsParserTest.cpp -------------------------------------------------------------------------------- /test/papilo/misc/VectorUtilsTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/misc/VectorUtilsTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/CliqueMergingTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/CliqueMergingTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/CoefficientStrengtheningTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/CoefficientStrengtheningTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/ConstraintPropagationTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/ConstraintPropagationTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/DominatedColsTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/DominatedColsTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/DualFixTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/DualFixTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/FixContinuousTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/FixContinuousTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/FreeVarSubstitutionTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/FreeVarSubstitutionTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/ImplIntDetectionTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/ImplIntDetectionTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/ParallelColDetectionTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/ParallelColDetectionTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/ParallelRowDetectionTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/ParallelRowDetectionTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/ProbingTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/ProbingTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/SimpleProbingTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/SimpleProbingTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/SimpleSubstitutionTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/SimpleSubstitutionTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/SimplifyInequalitiesTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/SimplifyInequalitiesTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/SingletonColsTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/SingletonColsTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/SingletonStuffingTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/SingletonStuffingTest.cpp -------------------------------------------------------------------------------- /test/papilo/presolve/SparsifyTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/papilo/presolve/SparsifyTest.cpp -------------------------------------------------------------------------------- /test/resources/dual_fix_neg_inf.postsolve: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/resources/dual_fix_neg_inf.postsolve -------------------------------------------------------------------------------- /test/resources/dual_fix_pos_inf.postsolve: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/resources/dual_fix_pos_inf.postsolve -------------------------------------------------------------------------------- /test/resources/kb2.bas: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/resources/kb2.bas -------------------------------------------------------------------------------- /test/resources/kb2.postsolve: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/resources/kb2.postsolve -------------------------------------------------------------------------------- /test/resources/kb2_dual.solution: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/resources/kb2_dual.solution -------------------------------------------------------------------------------- /test/resources/kb2_primal.solution: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/resources/kb2_primal.solution -------------------------------------------------------------------------------- /test/resources/kb2_reduced.solution: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/papilo/HEAD/test/resources/kb2_reduced.solution --------------------------------------------------------------------------------