From nobody Mon Jun 17 08:18:52 2024 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4W2jT85cXDz5NdLp; Mon, 17 Jun 2024 08:18:52 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4W2jT84J60z4JYV; Mon, 17 Jun 2024 08:18:52 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1718612332; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=+Dj1L+koUYxOixvhMTfOKIZtMJ65iobIru2v7jBi6Ho=; b=uH4AzB/8D90YHHzDquKT/68TGQySSyManq0x2m4nOCb03gG9TnlIZCHEo0raLvI+3/G0XR l+fN88X690h8Ui973V6qEptwKzG3RozpB+HId5LkmDvFILoR4TG88x8sYWWTVNUYpvQRXy Hf2lbDJK9TOryrhOpSQ1h8WvcKVEY7NDtOXWpmzs0U587aYhCaVKGnGi6q9dNIIw/pXoBV QGoTqwDZE1VpY/Wr33H2ZTluzril/ejfXvdB6DOfciUn9Jfqps9/hBdJa+KHi4aNlx91E9 rReK2W7IHwDchgd2IUwR6butOyYt31Kobmd67chu1yo86/aCafhwdYq72k6Q1g== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1718612332; a=rsa-sha256; cv=none; b=mOqoamDE6o7C8Ez5GC1eX1i7yF/muC7149laTf46Cp1R02/7N4dxADC/lTEcboTgPS3Njr ATonQKZqelcxgBHOmUFLv9ETXqjz2mzT4w/Vd+GiP2rt4qDnnwsjXvXWtEuSPvroHlHFbt RA+3VHJvXIVM8bpG/AMpKkcBFygmqc2yHUuj4W94Dk35h2GUVrYovaUjXGdFklV/uR9BJe 8f8ZUZrQldBFwR7WrT1VJnEHp0+qr2wfqUBCkXONpSt3CLof4FDy755SkaN+fmaM925RZU BeoXJFfkIOQpZIQSFwfls5aaumtYPX5VeNEShDyc22paRqg3nkJ83DEn0s9+5g== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1718612332; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=+Dj1L+koUYxOixvhMTfOKIZtMJ65iobIru2v7jBi6Ho=; b=kYfzAPc1V7BHJKJY6X6qQzdaDVp7rJ3DBrB2fntxCtJEBsXtwNcJpvcWjE+2661XCoAOnY GNHkW4uZtyfd7OISBpjMdxLAZ50wklx9gqV+YuTLfXbyZxjsCe79GDqObxA3fY11Fb6p1G M88gCS10jGXPfEpjRpVXCqk1M3cxzA0tAEbL8TiDTq+b8Y87cmJdLYivpaBb0tpFwFXhpi 9cqdIXqvhNiJacdPIfs4eQ8GgOiRZOebzg73uVKlLbNnGxPmcED/EDWTQtBssbOiQCy6P0 Ovx9k3wbqm0yG1REUNgnf1zAdkyA8HgShwsL43ZmeuKLVtIIsXNYSLLOc5R7+Q== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4W2jT833qRz1Mrk; Mon, 17 Jun 2024 08:18:52 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 45H8IqAx062651; Mon, 17 Jun 2024 08:18:52 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 45H8Iqx5062647; Mon, 17 Jun 2024 08:18:52 GMT (envelope-from git) Date: Mon, 17 Jun 2024 08:18:52 GMT Message-Id: <202406170818.45H8Iqx5062647@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 464ffa65bb24 - main - math/scipoptsuite: New port: SCIP Optimization Suite List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-dev-commits-ports-all@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 464ffa65bb2469d8e119dddb146d21a2dbcab0df Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=464ffa65bb2469d8e119dddb146d21a2dbcab0df commit 464ffa65bb2469d8e119dddb146d21a2dbcab0df Author: Yuri Victorovich AuthorDate: 2024-06-17 08:16:54 +0000 Commit: Yuri Victorovich CommitDate: 2024-06-17 08:18:35 +0000 math/scipoptsuite: New port: SCIP Optimization Suite --- math/Makefile | 1 + math/scipoptsuite/Makefile | 24 + math/scipoptsuite/distinfo | 3 + .../files/patch-ug_src_ug_paraSysTimer.h | 13 + math/scipoptsuite/pkg-descr | 7 + math/scipoptsuite/pkg-plist | 1104 ++++++++++++++++++++ 6 files changed, 1152 insertions(+) diff --git a/math/Makefile b/math/Makefile index 5fa0ff553788..932f169f2d4a 100644 --- a/math/Makefile +++ b/math/Makefile @@ -1143,6 +1143,7 @@ SUBDIR += scalapackfx SUBDIR += scilab SUBDIR += scilab-toolbox-swt + SUBDIR += scipoptsuite SUBDIR += scorec-core SUBDIR += scs SUBDIR += sdpa diff --git a/math/scipoptsuite/Makefile b/math/scipoptsuite/Makefile new file mode 100644 index 000000000000..29bf64dff5e1 --- /dev/null +++ b/math/scipoptsuite/Makefile @@ -0,0 +1,24 @@ +PORTNAME= scipoptsuite +DISTVERSION= 9.0.1 +CATEGORIES= math +MASTER_SITES= https://scipopt.org/download/release/ + +MAINTAINER= yuri@FreeBSD.org +COMMENT= SCIP Optimization Suite +WWW= https://scipopt.org/ + +LICENSE= GPLv3 + +BUILD_DEPENDS= ${LOCALBASE}/include/boost/variant.hpp:devel/boost-libs +LIB_DEPENDS= libgmp.so:math/gmp \ + libgsl.so:math/gsl \ + libipopt.so:math/ipopt \ + libmpfr.so:math/mpfr \ + libtbb.so:devel/onetbb + +USES= bison cmake compiler:c++14-lang mpi:openmpi pkgconfig readline tar:tgz +USE_LDCONFIG= yes + +CMAKE_ON= BUILD_SHARED_LIBS + +.include diff --git a/math/scipoptsuite/distinfo b/math/scipoptsuite/distinfo new file mode 100644 index 000000000000..e6bc0c1ecad7 --- /dev/null +++ b/math/scipoptsuite/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1718596576 +SHA256 (scipoptsuite-9.0.1.tgz) = 1efd3063bb8abe80bb1baab9b94156e85029e9792738f3a0a4be97936f095473 +SIZE (scipoptsuite-9.0.1.tgz) = 18927550 diff --git a/math/scipoptsuite/files/patch-ug_src_ug_paraSysTimer.h b/math/scipoptsuite/files/patch-ug_src_ug_paraSysTimer.h new file mode 100644 index 000000000000..18f6213cc4b1 --- /dev/null +++ b/math/scipoptsuite/files/patch-ug_src_ug_paraSysTimer.h @@ -0,0 +1,13 @@ +--- ug/src/ug/paraSysTimer.h.orig 2024-06-17 04:20:33 UTC ++++ ug/src/ug/paraSysTimer.h +@@ -55,6 +55,10 @@ + #define BSD + #endif /* SUN_OS */ + ++#ifdef __FreeBSD__ ++#define BSD ++#endif /* SUN_OS */ ++ + #ifdef SOLARIS + #define SYSV + #endif /* SOLARIS */ diff --git a/math/scipoptsuite/pkg-descr b/math/scipoptsuite/pkg-descr new file mode 100644 index 000000000000..d4a8169ceb22 --- /dev/null +++ b/math/scipoptsuite/pkg-descr @@ -0,0 +1,7 @@ +The SCIP Optimization Suite consists of the following six software tools: +* ZIMPL - the Zuse Institute Mathematical Programming language +* SoPlex - the Sequential Object Oriented Simplex +* SCIP - Solving Constraint Integer Programs +* GCG - Generic Column Generation +* UG - Ubiquity Generator Framework +* PaPILO - Parallel Presolve for Integer and Linear Optimization diff --git a/math/scipoptsuite/pkg-plist b/math/scipoptsuite/pkg-plist new file mode 100644 index 000000000000..f788af75a8f1 --- /dev/null +++ b/math/scipoptsuite/pkg-plist @@ -0,0 +1,1104 @@ +bin/fscip +bin/gcg +bin/parascip +bin/scip +bin/soplex +bin/zimpl +include/blockmemshell/memory.h +include/dijkstra/dijkstra.h +include/gcg/bliss_automorph.h +include/gcg/bliss_automorph.hpp +include/gcg/branch_bpstrong.h +include/gcg/branch_empty.h +include/gcg/branch_generic.h +include/gcg/branch_orig.h +include/gcg/branch_relpsprob.h +include/gcg/branch_ryanfoster.h +include/gcg/class_conspartition.h +include/gcg/class_detprobdata.h +include/gcg/class_indexpartition.h +include/gcg/class_partialdecomp.h +include/gcg/class_pricingcontroller.h +include/gcg/class_pricingtype.h +include/gcg/class_stabilization.h +include/gcg/class_varpartition.h +include/gcg/clscons.h +include/gcg/clsvar.h +include/gcg/colpool.h +include/gcg/cons_decomp.h +include/gcg/cons_decomp.hpp +include/gcg/cons_integralorig.h +include/gcg/cons_masterbranch.h +include/gcg/cons_origbranch.h +include/gcg/dec_compgreedily.h +include/gcg/dec_connected_noNewLinkingVars.h +include/gcg/dec_connectedbase.h +include/gcg/dec_consclass.h +include/gcg/dec_constype.h +include/gcg/dec_dbscan.h +include/gcg/dec_densemasterconss.h +include/gcg/dec_generalmastersetcover.h +include/gcg/dec_generalmastersetpack.h +include/gcg/dec_generalmastersetpart.h +include/gcg/dec_isomorph.h +include/gcg/dec_mastersetcover.h +include/gcg/dec_mastersetpack.h +include/gcg/dec_mastersetpart.h +include/gcg/dec_mst.h +include/gcg/dec_neighborhoodmaster.h +include/gcg/dec_postprocess.h +include/gcg/dec_staircase_lsp.h +include/gcg/dec_stairheur.h +include/gcg/dec_varclass.h +include/gcg/decomp.h +include/gcg/def.h +include/gcg/dialog_gcg.h +include/gcg/dialog_graph.h +include/gcg/dialog_master.h +include/gcg/disp_gcg.h +include/gcg/disp_master.h +include/gcg/event_bestsol.h +include/gcg/event_display.h +include/gcg/event_mastersol.h +include/gcg/event_relaxsol.h +include/gcg/event_solvingstats.h +include/gcg/gcg.h +include/gcg/gcg_general.h +include/gcg/gcgcol.h +include/gcg/gcggithash.h +include/gcg/gcgplugins.h +include/gcg/gcgpqueue.h +include/gcg/gcgsort.h +include/gcg/heur_gcgcoefdiving.h +include/gcg/heur_gcgdins.h +include/gcg/heur_gcgfeaspump.h +include/gcg/heur_gcgfracdiving.h +include/gcg/heur_gcgguideddiving.h +include/gcg/heur_gcglinesdiving.h +include/gcg/heur_gcgpscostdiving.h +include/gcg/heur_gcgrens.h +include/gcg/heur_gcgrins.h +include/gcg/heur_gcgrounding.h +include/gcg/heur_gcgshifting.h +include/gcg/heur_gcgsimplerounding.h +include/gcg/heur_gcgveclendiving.h +include/gcg/heur_gcgzirounding.h +include/gcg/heur_greedycolsel.h +include/gcg/heur_mastercoefdiving.h +include/gcg/heur_masterdiving.h +include/gcg/heur_masterfracdiving.h +include/gcg/heur_masterlinesdiving.h +include/gcg/heur_mastervecldiving.h +include/gcg/heur_origdiving.h +include/gcg/heur_relaxcolsel.h +include/gcg/heur_restmaster.h +include/gcg/heur_setcover.h +include/gcg/heur_xpcrossover.h +include/gcg/heur_xprins.h +include/gcg/masterplugins.h +include/gcg/miscvisualization.h +include/gcg/nodesel_master.h +include/gcg/objdialog.h +include/gcg/objpricer_gcg.h +include/gcg/params_visu.h +include/gcg/presol_roundbound.h +include/gcg/pricer_gcg.h +include/gcg/pricestore_gcg.h +include/gcg/pricingjob.h +include/gcg/pricingprob.h +include/gcg/pub_bliss.h +include/gcg/pub_clscons.h +include/gcg/pub_clsvar.h +include/gcg/pub_colpool.h +include/gcg/pub_decomp.h +include/gcg/pub_gcgcol.h +include/gcg/pub_gcgheur.h +include/gcg/pub_gcgpqueue.h +include/gcg/pub_gcgsepa.h +include/gcg/pub_gcgvar.h +include/gcg/pub_pricingjob.h +include/gcg/pub_pricingprob.h +include/gcg/pub_score.h +include/gcg/pub_solver.h +include/gcg/reader_blk.h +include/gcg/reader_cls.h +include/gcg/reader_dec.h +include/gcg/reader_gp.h +include/gcg/reader_ref.h +include/gcg/reader_tex.h +include/gcg/relax_gcg.h +include/gcg/scip_misc.h +include/gcg/score.h +include/gcg/score_bender.h +include/gcg/score_border.h +include/gcg/score_classic.h +include/gcg/score_fawh.h +include/gcg/score_forswh.h +include/gcg/score_maxwhite.h +include/gcg/score_spfawh.h +include/gcg/score_spfwh.h +include/gcg/score_strong.h +include/gcg/sepa_basis.h +include/gcg/sepa_master.h +include/gcg/solver.h +include/gcg/solver_cliquer.h +include/gcg/solver_knapsack.h +include/gcg/solver_mip.h +include/gcg/solver_xyz.h +include/gcg/stat.h +include/gcg/struct_branchgcg.h +include/gcg/struct_colpool.h +include/gcg/struct_decomp.h +include/gcg/struct_detector.h +include/gcg/struct_gcgcol.h +include/gcg/struct_gcgpqueue.h +include/gcg/struct_pricestore_gcg.h +include/gcg/struct_pricingjob.h +include/gcg/struct_pricingprob.h +include/gcg/struct_score.h +include/gcg/struct_solver.h +include/gcg/struct_vardata.h +include/gcg/type_branchgcg.h +include/gcg/type_classifier.h +include/gcg/type_colpool.h +include/gcg/type_consclassifier.h +include/gcg/type_decomp.h +include/gcg/type_detector.h +include/gcg/type_gcgcol.h +include/gcg/type_gcgpqueue.h +include/gcg/type_masterdiving.h +include/gcg/type_origdiving.h +include/gcg/type_parameter.h +include/gcg/type_pricestore_gcg.h +include/gcg/type_pricingjob.h +include/gcg/type_pricingprob.h +include/gcg/type_pricingstatus.h +include/gcg/type_score.h +include/gcg/type_solver.h +include/gcg/type_varclassifier.h +include/gcg/wrapper_partialdecomp.h +include/graph/bipartitegraph.h +include/graph/bipartitegraph_def.h +include/graph/bridge.h +include/graph/columngraph.h +include/graph/columngraph_def.h +include/graph/graph.h +include/graph/graph_def.h +include/graph/graph_gcg.h +include/graph/graph_interface.h +include/graph/graph_tclique.h +include/graph/graphalgorithms.h +include/graph/graphalgorithms_def.h +include/graph/hypercolgraph.h +include/graph/hypercolgraph_def.h +include/graph/hypergraph.h +include/graph/hypergraph_def.h +include/graph/hyperrowcolgraph.h +include/graph/hyperrowcolgraph_def.h +include/graph/hyperrowgraph.h +include/graph/hyperrowgraph_def.h +include/graph/matrixgraph.h +include/graph/matrixgraph_def.h +include/graph/rowgraph.h +include/graph/rowgraph_def.h +include/graph/weights.h +include/lpi/lpi.h +include/lpi/type_lpi.h +include/objscip/objbenders.h +include/objscip/objbenderscut.h +include/objscip/objbranchrule.h +include/objscip/objcloneable.h +include/objscip/objconshdlr.h +include/objscip/objcutsel.h +include/objscip/objdialog.h +include/objscip/objdisp.h +include/objscip/objeventhdlr.h +include/objscip/objheur.h +include/objscip/objmessagehdlr.h +include/objscip/objnodesel.h +include/objscip/objpresol.h +include/objscip/objpricer.h +include/objscip/objprobcloneable.h +include/objscip/objprobdata.h +include/objscip/objprop.h +include/objscip/objreader.h +include/objscip/objrelax.h +include/objscip/objscip.h +include/objscip/objscipdefplugins.h +include/objscip/objsepa.h +include/objscip/objtable.h +include/objscip/objvardata.h +include/objscip/type_objcloneable.h +include/objscip/type_objprobcloneable.h +include/papilo/CMakeConfig.hpp +include/papilo/Config.hpp +include/papilo/core/Components.hpp +include/papilo/core/ConstraintMatrix.hpp +include/papilo/core/MatrixBuffer.hpp +include/papilo/core/Objective.hpp +include/papilo/core/Presolve.hpp +include/papilo/core/PresolveMethod.hpp +include/papilo/core/PresolveOptions.hpp +include/papilo/core/ProbingView.hpp +include/papilo/core/Problem.hpp +include/papilo/core/ProblemBuilder.hpp +include/papilo/core/ProblemFlag.hpp +include/papilo/core/ProblemUpdate.hpp +include/papilo/core/Reductions.hpp +include/papilo/core/RowFlags.hpp +include/papilo/core/SingleRow.hpp +include/papilo/core/Solution.hpp +include/papilo/core/SparseStorage.hpp +include/papilo/core/Statistics.hpp +include/papilo/core/SymmetryStorage.hpp +include/papilo/core/VariableDomains.hpp +include/papilo/core/postsolve/BoundStorage.hpp +include/papilo/core/postsolve/Postsolve.hpp +include/papilo/core/postsolve/PostsolveStatus.hpp +include/papilo/core/postsolve/PostsolveStorage.hpp +include/papilo/core/postsolve/PostsolveType.hpp +include/papilo/core/postsolve/ReductionType.hpp +include/papilo/core/postsolve/SavedRow.hpp +include/papilo/external/fmt/chrono.h +include/papilo/external/fmt/color.h +include/papilo/external/fmt/compile.h +include/papilo/external/fmt/core.h +include/papilo/external/fmt/format-inl.h +include/papilo/external/fmt/format.h +include/papilo/external/fmt/locale.h +include/papilo/external/fmt/os.h +include/papilo/external/fmt/ostream.h +include/papilo/external/fmt/posix.h +include/papilo/external/fmt/printf.h +include/papilo/external/fmt/ranges.h +include/papilo/external/lusol/clusol.h +include/papilo/external/pdqsort/pdqsort.h +include/papilo/external/ska/bytell_hash_map.hpp +include/papilo/external/ska/flat_hash_map.hpp +include/papilo/external/ska/unordered_map.hpp +include/papilo/interfaces/GlopInterface.hpp +include/papilo/interfaces/GurobiInterface.hpp +include/papilo/interfaces/HighsInterface.hpp +include/papilo/interfaces/RoundingsatInterface.hpp +include/papilo/interfaces/ScipInterface.hpp +include/papilo/interfaces/SolverInterface.hpp +include/papilo/interfaces/SoplexInterface.hpp +include/papilo/io/BoundType.hpp +include/papilo/io/Message.hpp +include/papilo/io/MpsParser.hpp +include/papilo/io/MpsWriter.hpp +include/papilo/io/OpbParser.hpp +include/papilo/io/OpbWriter.hpp +include/papilo/io/ParseKey.hpp +include/papilo/io/Parser.hpp +include/papilo/io/SolParser.hpp +include/papilo/io/SolWriter.hpp +include/papilo/misc/Alloc.hpp +include/papilo/misc/Array.hpp +include/papilo/misc/DependentRows.hpp +include/papilo/misc/Flags.hpp +include/papilo/misc/Hash.hpp +include/papilo/misc/MultiPrecision.hpp +include/papilo/misc/Num.hpp +include/papilo/misc/NumericalStatistics.hpp +include/papilo/misc/OptionsParser.hpp +include/papilo/misc/ParameterSet.hpp +include/papilo/misc/PrimalDualSolValidation.hpp +include/papilo/misc/Signature.hpp +include/papilo/misc/StableSum.hpp +include/papilo/misc/String.hpp +include/papilo/misc/Timer.hpp +include/papilo/misc/Validation.hpp +include/papilo/misc/Vec.hpp +include/papilo/misc/VectorUtils.hpp +include/papilo/misc/VersionLogger.hpp +include/papilo/misc/Wrappers.hpp +include/papilo/misc/compress_vector.hpp +include/papilo/misc/fmt.hpp +include/papilo/misc/tbb.hpp +include/papilo/presolvers/CoefficientStrengthening.hpp +include/papilo/presolvers/ConstraintPropagation.hpp +include/papilo/presolvers/DominatedCols.hpp +include/papilo/presolvers/DualFix.hpp +include/papilo/presolvers/DualInfer.hpp +include/papilo/presolvers/FixContinuous.hpp +include/papilo/presolvers/FreeVarSubstitution.hpp +include/papilo/presolvers/ImplIntDetection.hpp +include/papilo/presolvers/ParallelColDetection.hpp +include/papilo/presolvers/ParallelRowDetection.hpp +include/papilo/presolvers/Probing.hpp +include/papilo/presolvers/SimpleProbing.hpp +include/papilo/presolvers/SimpleSubstitution.hpp +include/papilo/presolvers/SimplifyInequalities.hpp +include/papilo/presolvers/SingletonCols.hpp +include/papilo/presolvers/SingletonStuffing.hpp +include/papilo/presolvers/Sparsify.hpp +include/papilo/verification/ArgumentType.hpp +include/papilo/verification/CertificateInterface.hpp +include/papilo/verification/EmptyCertificate.hpp +include/papilo/verification/VeriPb.hpp +include/scip/bandit.h +include/scip/bandit_epsgreedy.h +include/scip/bandit_exp3.h +include/scip/bandit_exp3ix.h +include/scip/bandit_ucb.h +include/scip/benders.h +include/scip/benders_default.h +include/scip/benderscut.h +include/scip/benderscut_feas.h +include/scip/benderscut_feasalt.h +include/scip/benderscut_int.h +include/scip/benderscut_nogood.h +include/scip/benderscut_opt.h +include/scip/bendersdefcuts.h +include/scip/bitencode.h +include/scip/boundstore.h +include/scip/branch.h +include/scip/branch_allfullstrong.h +include/scip/branch_cloud.h +include/scip/branch_distribution.h +include/scip/branch_fullstrong.h +include/scip/branch_gomory.h +include/scip/branch_inference.h +include/scip/branch_leastinf.h +include/scip/branch_lookahead.h +include/scip/branch_mostinf.h +include/scip/branch_multaggr.h +include/scip/branch_nodereopt.h +include/scip/branch_pscost.h +include/scip/branch_random.h +include/scip/branch_relpscost.h +include/scip/branch_vanillafullstrong.h +include/scip/clock.h +include/scip/compr.h +include/scip/compr_largestrepr.h +include/scip/compr_weakcompr.h +include/scip/concsolver.h +include/scip/concsolver_scip.h +include/scip/concurrent.h +include/scip/config.h +include/scip/conflict.h +include/scip/conflict_dualproofanalysis.h +include/scip/conflict_general.h +include/scip/conflict_graphanalysis.h +include/scip/conflictstore.h +include/scip/cons.h +include/scip/cons_abspower.h +include/scip/cons_and.h +include/scip/cons_benders.h +include/scip/cons_benderslp.h +include/scip/cons_bounddisjunction.h +include/scip/cons_cardinality.h +include/scip/cons_components.h +include/scip/cons_conjunction.h +include/scip/cons_countsols.h +include/scip/cons_cumulative.h +include/scip/cons_disjunction.h +include/scip/cons_indicator.h +include/scip/cons_integral.h +include/scip/cons_knapsack.h +include/scip/cons_linear.h +include/scip/cons_linking.h +include/scip/cons_logicor.h +include/scip/cons_nonlinear.h +include/scip/cons_or.h +include/scip/cons_orbisack.h +include/scip/cons_orbitope.h +include/scip/cons_pseudoboolean.h +include/scip/cons_quadratic.h +include/scip/cons_setppc.h +include/scip/cons_soc.h +include/scip/cons_sos1.h +include/scip/cons_sos2.h +include/scip/cons_superindicator.h +include/scip/cons_symresack.h +include/scip/cons_varbound.h +include/scip/cons_xor.h +include/scip/cutpool.h +include/scip/cuts.h +include/scip/cutsel.h +include/scip/cutsel_dynamic.h +include/scip/cutsel_ensemble.h +include/scip/cutsel_hybrid.h +include/scip/dbldblarith.h +include/scip/dcmp.h +include/scip/debug.h +include/scip/def.h +include/scip/dialog.h +include/scip/dialog_default.h +include/scip/disp.h +include/scip/disp_default.h +include/scip/event.h +include/scip/event_estim.h +include/scip/event_globalbnd.h +include/scip/event_shadowtree.h +include/scip/event_softtimelimit.h +include/scip/event_solvingphase.h +include/scip/expr.h +include/scip/expr_abs.h +include/scip/expr_entropy.h +include/scip/expr_erf.h +include/scip/expr_exp.h +include/scip/expr_log.h +include/scip/expr_pow.h +include/scip/expr_product.h +include/scip/expr_sum.h +include/scip/expr_trig.h +include/scip/expr_value.h +include/scip/expr_var.h +include/scip/expr_varidx.h +include/scip/exprinterpret.h +include/scip/heur.h +include/scip/heur_actconsdiving.h +include/scip/heur_adaptivediving.h +include/scip/heur_alns.h +include/scip/heur_bound.h +include/scip/heur_clique.h +include/scip/heur_coefdiving.h +include/scip/heur_completesol.h +include/scip/heur_conflictdiving.h +include/scip/heur_crossover.h +include/scip/heur_dins.h +include/scip/heur_distributiondiving.h +include/scip/heur_dps.h +include/scip/heur_dualval.h +include/scip/heur_farkasdiving.h +include/scip/heur_feaspump.h +include/scip/heur_fixandinfer.h +include/scip/heur_fracdiving.h +include/scip/heur_gins.h +include/scip/heur_guideddiving.h +include/scip/heur_indicator.h +include/scip/heur_indicatordiving.h +include/scip/heur_intdiving.h +include/scip/heur_intshifting.h +include/scip/heur_linesearchdiving.h +include/scip/heur_localbranching.h +include/scip/heur_locks.h +include/scip/heur_lpface.h +include/scip/heur_mpec.h +include/scip/heur_multistart.h +include/scip/heur_mutation.h +include/scip/heur_nlpdiving.h +include/scip/heur_objpscostdiving.h +include/scip/heur_octane.h +include/scip/heur_ofins.h +include/scip/heur_oneopt.h +include/scip/heur_padm.h +include/scip/heur_proximity.h +include/scip/heur_pscostdiving.h +include/scip/heur_randrounding.h +include/scip/heur_rens.h +include/scip/heur_reoptsols.h +include/scip/heur_repair.h +include/scip/heur_rins.h +include/scip/heur_rootsoldiving.h +include/scip/heur_rounding.h +include/scip/heur_scheduler.h +include/scip/heur_shiftandpropagate.h +include/scip/heur_shifting.h +include/scip/heur_simplerounding.h +include/scip/heur_subnlp.h +include/scip/heur_sync.h +include/scip/heur_trivial.h +include/scip/heur_trivialnegation.h +include/scip/heur_trustregion.h +include/scip/heur_trysol.h +include/scip/heur_twoopt.h +include/scip/heur_undercover.h +include/scip/heur_vbounds.h +include/scip/heur_veclendiving.h +include/scip/heur_zeroobj.h +include/scip/heur_zirounding.h +include/scip/heuristics.h +include/scip/history.h +include/scip/implics.h +include/scip/interrupt.h +include/scip/intervalarith.h +include/scip/lapack_calls.h +include/scip/lp.h +include/scip/mem.h +include/scip/message.h +include/scip/message_default.h +include/scip/misc.h +include/scip/nlhdlr.h +include/scip/nlhdlr_bilinear.h +include/scip/nlhdlr_convex.h +include/scip/nlhdlr_default.h +include/scip/nlhdlr_perspective.h +include/scip/nlhdlr_quadratic.h +include/scip/nlhdlr_quotient.h +include/scip/nlhdlr_signomial.h +include/scip/nlhdlr_soc.h +include/scip/nlp.h +include/scip/nlpi.h +include/scip/nlpi_all.h +include/scip/nlpi_filtersqp.h +include/scip/nlpi_ipopt.h +include/scip/nlpi_worhp.h +include/scip/nlpioracle.h +include/scip/nodesel.h +include/scip/nodesel_bfs.h +include/scip/nodesel_breadthfirst.h +include/scip/nodesel_dfs.h +include/scip/nodesel_estimate.h +include/scip/nodesel_hybridestim.h +include/scip/nodesel_restartdfs.h +include/scip/nodesel_uct.h +include/scip/paramset.h +include/scip/presol.h +include/scip/presol_boundshift.h +include/scip/presol_convertinttobin.h +include/scip/presol_domcol.h +include/scip/presol_dualagg.h +include/scip/presol_dualcomp.h +include/scip/presol_dualinfer.h +include/scip/presol_dualsparsify.h +include/scip/presol_gateextraction.h +include/scip/presol_implics.h +include/scip/presol_inttobinary.h +include/scip/presol_milp.h +include/scip/presol_qpkktref.h +include/scip/presol_redvub.h +include/scip/presol_sparsify.h +include/scip/presol_stuffing.h +include/scip/presol_trivial.h +include/scip/presol_tworowbnd.h +include/scip/presolve.h +include/scip/pricer.h +include/scip/pricestore.h +include/scip/primal.h +include/scip/prob.h +include/scip/prop.h +include/scip/prop_dualfix.h +include/scip/prop_genvbounds.h +include/scip/prop_nlobbt.h +include/scip/prop_obbt.h +include/scip/prop_probing.h +include/scip/prop_pseudoobj.h +include/scip/prop_redcost.h +include/scip/prop_rootredcost.h +include/scip/prop_symmetry.h +include/scip/prop_sync.h +include/scip/prop_vbounds.h +include/scip/pub_bandit.h +include/scip/pub_bandit_epsgreedy.h +include/scip/pub_bandit_exp3.h +include/scip/pub_bandit_exp3ix.h +include/scip/pub_bandit_ucb.h +include/scip/pub_benders.h +include/scip/pub_benderscut.h +include/scip/pub_branch.h +include/scip/pub_compr.h +include/scip/pub_conflict.h +include/scip/pub_cons.h +include/scip/pub_cutpool.h +include/scip/pub_cutsel.h +include/scip/pub_dcmp.h +include/scip/pub_dialog.h +include/scip/pub_disp.h +include/scip/pub_event.h +include/scip/pub_expr.h +include/scip/pub_fileio.h +include/scip/pub_heur.h +include/scip/pub_history.h +include/scip/pub_implics.h +include/scip/pub_lp.h +include/scip/pub_matrix.h +include/scip/pub_message.h +include/scip/pub_misc.h +include/scip/pub_misc_linear.h +include/scip/pub_misc_rowprep.h +include/scip/pub_misc_select.h +include/scip/pub_misc_sort.h +include/scip/pub_nlhdlr.h +include/scip/pub_nlp.h +include/scip/pub_nlpi.h +include/scip/pub_nodesel.h +include/scip/pub_paramset.h +include/scip/pub_presol.h +include/scip/pub_pricer.h +include/scip/pub_prop.h +include/scip/pub_reader.h +include/scip/pub_relax.h +include/scip/pub_reopt.h +include/scip/pub_sepa.h +include/scip/pub_sol.h +include/scip/pub_table.h +include/scip/pub_tree.h +include/scip/pub_var.h +include/scip/rbtree.h +include/scip/reader.h +include/scip/reader_bnd.h +include/scip/reader_ccg.h +include/scip/reader_cip.h +include/scip/reader_cnf.h +include/scip/reader_cor.h +include/scip/reader_dec.h +include/scip/reader_diff.h +include/scip/reader_fix.h +include/scip/reader_fzn.h +include/scip/reader_gms.h +include/scip/reader_lp.h +include/scip/reader_mps.h +include/scip/reader_mst.h +include/scip/reader_nl.h +include/scip/reader_opb.h +include/scip/reader_osil.h +include/scip/reader_pbm.h +include/scip/reader_pip.h +include/scip/reader_ppm.h +include/scip/reader_rlp.h +include/scip/reader_smps.h +include/scip/reader_sol.h +include/scip/reader_sto.h +include/scip/reader_tim.h +include/scip/reader_wbo.h +include/scip/reader_zpl.h +include/scip/relax.h +include/scip/reopt.h +include/scip/retcode.h +include/scip/scip.h +include/scip/scip_bandit.h +include/scip/scip_benders.h +include/scip/scip_branch.h +include/scip/scip_compr.h +include/scip/scip_concurrent.h +include/scip/scip_conflict.h +include/scip/scip_cons.h +include/scip/scip_copy.h +include/scip/scip_cut.h +include/scip/scip_cutsel.h +include/scip/scip_datastructures.h +include/scip/scip_dcmp.h +include/scip/scip_debug.h +include/scip/scip_dialog.h +include/scip/scip_disp.h +include/scip/scip_event.h +include/scip/scip_export.h +include/scip/scip_expr.h +include/scip/scip_general.h +include/scip/scip_heur.h +include/scip/scip_lp.h +include/scip/scip_mem.h +include/scip/scip_message.h +include/scip/scip_nlp.h +include/scip/scip_nlpi.h +include/scip/scip_nodesel.h +include/scip/scip_numerics.h +include/scip/scip_param.h +include/scip/scip_presol.h +include/scip/scip_pricer.h +include/scip/scip_prob.h +include/scip/scip_probing.h +include/scip/scip_prop.h +include/scip/scip_randnumgen.h +include/scip/scip_reader.h +include/scip/scip_relax.h +include/scip/scip_reopt.h +include/scip/scip_sepa.h +include/scip/scip_sol.h +include/scip/scip_solve.h +include/scip/scip_solvingstats.h +include/scip/scip_table.h +include/scip/scip_timing.h +include/scip/scip_tree.h +include/scip/scip_validation.h +include/scip/scip_var.h +include/scip/scipbuildflags.h +include/scip/scipcoreplugins.h +include/scip/scipdefplugins.h +include/scip/scipgithash.h +include/scip/scipshell.h +include/scip/sepa.h +include/scip/sepa_aggregation.h +include/scip/sepa_cgmip.h +include/scip/sepa_clique.h +include/scip/sepa_closecuts.h +include/scip/sepa_convexproj.h +include/scip/sepa_disjunctive.h +include/scip/sepa_eccuts.h +include/scip/sepa_gauge.h +include/scip/sepa_gomory.h +include/scip/sepa_impliedbounds.h +include/scip/sepa_interminor.h +include/scip/sepa_intobj.h +include/scip/sepa_lagromory.h +include/scip/sepa_mcf.h +include/scip/sepa_minor.h +include/scip/sepa_mixing.h +include/scip/sepa_oddcycle.h +include/scip/sepa_rapidlearning.h +include/scip/sepa_rlt.h +include/scip/sepa_zerohalf.h +include/scip/sepastore.h +include/scip/set.h +include/scip/sol.h +include/scip/solve.h +include/scip/stat.h +include/scip/struct_bandit.h +include/scip/struct_benders.h +include/scip/struct_benderscut.h +include/scip/struct_branch.h +include/scip/struct_clock.h +include/scip/struct_compr.h +include/scip/struct_concsolver.h +include/scip/struct_concurrent.h +include/scip/struct_conflict.h +include/scip/struct_conflictstore.h +include/scip/struct_cons.h +include/scip/struct_cutpool.h +include/scip/struct_cuts.h +include/scip/struct_cutsel.h +include/scip/struct_dcmp.h +include/scip/struct_dialog.h +include/scip/struct_disp.h +include/scip/struct_event.h +include/scip/struct_expr.h +include/scip/struct_heur.h +include/scip/struct_history.h +include/scip/struct_implics.h +include/scip/struct_lp.h +include/scip/struct_matrix.h +include/scip/struct_mem.h +include/scip/struct_message.h +include/scip/struct_misc.h +include/scip/struct_nlhdlr.h +include/scip/struct_nlp.h +include/scip/struct_nlpi.h +include/scip/struct_nodesel.h +include/scip/struct_paramset.h +include/scip/struct_presol.h +include/scip/struct_pricer.h +include/scip/struct_pricestore.h +include/scip/struct_primal.h +include/scip/struct_prob.h +include/scip/struct_prop.h +include/scip/struct_reader.h +include/scip/struct_relax.h +include/scip/struct_reopt.h +include/scip/struct_scip.h +include/scip/struct_sepa.h +include/scip/struct_sepastore.h +include/scip/struct_set.h +include/scip/struct_sol.h +include/scip/struct_stat.h +include/scip/struct_syncstore.h +include/scip/struct_table.h +include/scip/struct_tree.h +include/scip/struct_var.h +include/scip/struct_visual.h +include/scip/symmetry.h +include/scip/symmetry_graph.h +include/scip/symmetry_lexred.h +include/scip/symmetry_orbital.h +include/scip/symmetry_orbitopal.h +include/scip/syncstore.h +include/scip/table.h +include/scip/table_default.h +include/scip/tree.h +include/scip/treemodel.h +include/scip/type_bandit.h +include/scip/type_benders.h +include/scip/type_benderscut.h +include/scip/type_branch.h +include/scip/type_clock.h +include/scip/type_compr.h +include/scip/type_concsolver.h +include/scip/type_concurrent.h +include/scip/type_conflict.h +include/scip/type_conflictstore.h +include/scip/type_cons.h +include/scip/type_cutpool.h +include/scip/type_cuts.h +include/scip/type_cutsel.h +include/scip/type_dcmp.h +include/scip/type_dialog.h +include/scip/type_disp.h +include/scip/type_event.h +include/scip/type_expr.h +include/scip/type_exprinterpret.h +include/scip/type_heur.h +include/scip/type_history.h +include/scip/type_implics.h +include/scip/type_interrupt.h +include/scip/type_lp.h +include/scip/type_matrix.h +include/scip/type_mem.h +include/scip/type_message.h +include/scip/type_misc.h +include/scip/type_nlhdlr.h +include/scip/type_nlp.h +include/scip/type_nlpi.h +include/scip/type_nodesel.h +include/scip/type_paramset.h +include/scip/type_presol.h +include/scip/type_pricer.h +include/scip/type_pricestore.h +include/scip/type_primal.h +include/scip/type_prob.h +include/scip/type_prop.h +include/scip/type_reader.h +include/scip/type_relax.h +include/scip/type_reopt.h +include/scip/type_result.h +include/scip/type_retcode.h +include/scip/type_scip.h +include/scip/type_sepa.h +include/scip/type_sepastore.h +include/scip/type_set.h +include/scip/type_sol.h +include/scip/type_stat.h +include/scip/type_syncstore.h +include/scip/type_table.h +include/scip/type_timing.h +include/scip/type_tree.h +include/scip/type_var.h +include/scip/type_visual.h +include/scip/var.h +include/scip/visual.h +include/soplex.h +include/soplex.hpp +include/soplex/array.h +include/soplex/basevectors.h +include/soplex/changesoplex.hpp +include/soplex/classarray.h +include/soplex/classset.h +include/soplex/clufactor.h +include/soplex/clufactor.hpp +include/soplex/clufactor_rational.h +include/soplex/clufactor_rational.hpp +include/soplex/config.h +include/soplex/cring.h +include/soplex/dataarray.h +include/soplex/datahashtable.h +include/soplex/datakey.h +include/soplex/dataset.h +include/soplex/didxset.h *** 227 LINES SKIPPED ***