├── .gitignore ├── .gitlab-ci.yml ├── CHANGELOG ├── CMakeLists.txt ├── LICENSE ├── README.md ├── binaries └── CMakeLists.txt ├── bugger-config.cmake.in ├── cmake ├── Dependencies.cmake └── Modules │ └── FindTBB.cmake ├── parameters.txt └── src ├── bugger.cpp └── bugger ├── CMakeConfig.hpp.in ├── Config.hpp ├── data ├── BuggerParameters.hpp ├── BuggerRun.hpp ├── ConstraintMatrix.hpp ├── MatrixBuffer.hpp ├── Objective.hpp ├── Problem.hpp ├── ProblemBuilder.hpp ├── RowFlags.hpp ├── SingleRow.hpp ├── Solution.hpp ├── SolverSettings.hpp ├── SparseStorage.hpp └── VariableDomains.hpp ├── external ├── 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 ├── pdqsort │ ├── license.txt │ ├── pdqsort.h │ └── readme.md └── ska │ ├── LICENSE.txt │ ├── bytell_hash_map.hpp │ ├── flat_hash_map.hpp │ └── unordered_map.hpp ├── interfaces ├── BuggerStatus.hpp ├── ScipInterface.hpp ├── ScipRationalInterface.hpp ├── ScipRealInterface.hpp ├── SolverInterface.hpp ├── SolverStatus.hpp ├── SoplexInterface.hpp ├── SoplexRationalInterface.hpp └── SoplexRealInterface.hpp ├── io ├── Message.hpp ├── MpsParser.hpp ├── MpsWriter.hpp ├── SolParser.hpp └── SolWriter.hpp ├── misc ├── Alloc.hpp ├── Array.hpp ├── Flags.hpp ├── Hash.hpp ├── MultiPrecision.hpp ├── Num.hpp ├── NumericalStatistics.hpp ├── OptionsParser.hpp ├── ParameterSet.hpp ├── StableSum.hpp ├── String.hpp ├── Timer.hpp ├── Vec.hpp ├── VectorUtils.hpp ├── VersionLogger.hpp ├── compress_vector.hpp ├── fmt.hpp └── tbb.hpp └── modifiers ├── BuggerModifier.hpp ├── CoefficientModifier.hpp ├── ConsroundModifier.hpp ├── ConstraintModifier.hpp ├── FixingModifier.hpp ├── ObjectiveModifier.hpp ├── SettingModifier.hpp ├── SideModifier.hpp ├── VariableModifier.hpp └── VarroundModifier.hpp /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /CHANGELOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/CHANGELOG -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/README.md -------------------------------------------------------------------------------- /binaries/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/binaries/CMakeLists.txt -------------------------------------------------------------------------------- /bugger-config.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/bugger-config.cmake.in -------------------------------------------------------------------------------- /cmake/Dependencies.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/cmake/Dependencies.cmake -------------------------------------------------------------------------------- /cmake/Modules/FindTBB.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/cmake/Modules/FindTBB.cmake -------------------------------------------------------------------------------- /parameters.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/parameters.txt -------------------------------------------------------------------------------- /src/bugger.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger.cpp -------------------------------------------------------------------------------- /src/bugger/CMakeConfig.hpp.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/CMakeConfig.hpp.in -------------------------------------------------------------------------------- /src/bugger/Config.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/Config.hpp -------------------------------------------------------------------------------- /src/bugger/data/BuggerParameters.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/data/BuggerParameters.hpp -------------------------------------------------------------------------------- /src/bugger/data/BuggerRun.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/data/BuggerRun.hpp -------------------------------------------------------------------------------- /src/bugger/data/ConstraintMatrix.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/data/ConstraintMatrix.hpp -------------------------------------------------------------------------------- /src/bugger/data/MatrixBuffer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/data/MatrixBuffer.hpp -------------------------------------------------------------------------------- /src/bugger/data/Objective.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/data/Objective.hpp -------------------------------------------------------------------------------- /src/bugger/data/Problem.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/data/Problem.hpp -------------------------------------------------------------------------------- /src/bugger/data/ProblemBuilder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/data/ProblemBuilder.hpp -------------------------------------------------------------------------------- /src/bugger/data/RowFlags.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/data/RowFlags.hpp -------------------------------------------------------------------------------- /src/bugger/data/SingleRow.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/data/SingleRow.hpp -------------------------------------------------------------------------------- /src/bugger/data/Solution.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/data/Solution.hpp -------------------------------------------------------------------------------- /src/bugger/data/SolverSettings.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/data/SolverSettings.hpp -------------------------------------------------------------------------------- /src/bugger/data/SparseStorage.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/data/SparseStorage.hpp -------------------------------------------------------------------------------- /src/bugger/data/VariableDomains.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/data/VariableDomains.hpp -------------------------------------------------------------------------------- /src/bugger/external/fmt/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/CONTRIBUTING.md -------------------------------------------------------------------------------- /src/bugger/external/fmt/ChangeLog.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/ChangeLog.rst -------------------------------------------------------------------------------- /src/bugger/external/fmt/LICENSE.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/LICENSE.rst -------------------------------------------------------------------------------- /src/bugger/external/fmt/README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/README.rst -------------------------------------------------------------------------------- /src/bugger/external/fmt/chrono.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/chrono.h -------------------------------------------------------------------------------- /src/bugger/external/fmt/color.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/color.h -------------------------------------------------------------------------------- /src/bugger/external/fmt/compile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/compile.h -------------------------------------------------------------------------------- /src/bugger/external/fmt/core.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/core.h -------------------------------------------------------------------------------- /src/bugger/external/fmt/format-inl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/format-inl.h -------------------------------------------------------------------------------- /src/bugger/external/fmt/format.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/format.cc -------------------------------------------------------------------------------- /src/bugger/external/fmt/format.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/format.h -------------------------------------------------------------------------------- /src/bugger/external/fmt/locale.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/locale.h -------------------------------------------------------------------------------- /src/bugger/external/fmt/os.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/os.cc -------------------------------------------------------------------------------- /src/bugger/external/fmt/os.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/os.h -------------------------------------------------------------------------------- /src/bugger/external/fmt/ostream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/ostream.h -------------------------------------------------------------------------------- /src/bugger/external/fmt/posix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/posix.h -------------------------------------------------------------------------------- /src/bugger/external/fmt/printf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/printf.h -------------------------------------------------------------------------------- /src/bugger/external/fmt/ranges.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/fmt/ranges.h -------------------------------------------------------------------------------- /src/bugger/external/pdqsort/license.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/pdqsort/license.txt -------------------------------------------------------------------------------- /src/bugger/external/pdqsort/pdqsort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/pdqsort/pdqsort.h -------------------------------------------------------------------------------- /src/bugger/external/pdqsort/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/pdqsort/readme.md -------------------------------------------------------------------------------- /src/bugger/external/ska/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/ska/LICENSE.txt -------------------------------------------------------------------------------- /src/bugger/external/ska/bytell_hash_map.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/ska/bytell_hash_map.hpp -------------------------------------------------------------------------------- /src/bugger/external/ska/flat_hash_map.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/ska/flat_hash_map.hpp -------------------------------------------------------------------------------- /src/bugger/external/ska/unordered_map.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/external/ska/unordered_map.hpp -------------------------------------------------------------------------------- /src/bugger/interfaces/BuggerStatus.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/interfaces/BuggerStatus.hpp -------------------------------------------------------------------------------- /src/bugger/interfaces/ScipInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/interfaces/ScipInterface.hpp -------------------------------------------------------------------------------- /src/bugger/interfaces/ScipRationalInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/interfaces/ScipRationalInterface.hpp -------------------------------------------------------------------------------- /src/bugger/interfaces/ScipRealInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/interfaces/ScipRealInterface.hpp -------------------------------------------------------------------------------- /src/bugger/interfaces/SolverInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/interfaces/SolverInterface.hpp -------------------------------------------------------------------------------- /src/bugger/interfaces/SolverStatus.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/interfaces/SolverStatus.hpp -------------------------------------------------------------------------------- /src/bugger/interfaces/SoplexInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/interfaces/SoplexInterface.hpp -------------------------------------------------------------------------------- /src/bugger/interfaces/SoplexRationalInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/interfaces/SoplexRationalInterface.hpp -------------------------------------------------------------------------------- /src/bugger/interfaces/SoplexRealInterface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/interfaces/SoplexRealInterface.hpp -------------------------------------------------------------------------------- /src/bugger/io/Message.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/io/Message.hpp -------------------------------------------------------------------------------- /src/bugger/io/MpsParser.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/io/MpsParser.hpp -------------------------------------------------------------------------------- /src/bugger/io/MpsWriter.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/io/MpsWriter.hpp -------------------------------------------------------------------------------- /src/bugger/io/SolParser.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/io/SolParser.hpp -------------------------------------------------------------------------------- /src/bugger/io/SolWriter.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/io/SolWriter.hpp -------------------------------------------------------------------------------- /src/bugger/misc/Alloc.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/Alloc.hpp -------------------------------------------------------------------------------- /src/bugger/misc/Array.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/Array.hpp -------------------------------------------------------------------------------- /src/bugger/misc/Flags.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/Flags.hpp -------------------------------------------------------------------------------- /src/bugger/misc/Hash.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/Hash.hpp -------------------------------------------------------------------------------- /src/bugger/misc/MultiPrecision.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/MultiPrecision.hpp -------------------------------------------------------------------------------- /src/bugger/misc/Num.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/Num.hpp -------------------------------------------------------------------------------- /src/bugger/misc/NumericalStatistics.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/NumericalStatistics.hpp -------------------------------------------------------------------------------- /src/bugger/misc/OptionsParser.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/OptionsParser.hpp -------------------------------------------------------------------------------- /src/bugger/misc/ParameterSet.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/ParameterSet.hpp -------------------------------------------------------------------------------- /src/bugger/misc/StableSum.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/StableSum.hpp -------------------------------------------------------------------------------- /src/bugger/misc/String.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/String.hpp -------------------------------------------------------------------------------- /src/bugger/misc/Timer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/Timer.hpp -------------------------------------------------------------------------------- /src/bugger/misc/Vec.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/Vec.hpp -------------------------------------------------------------------------------- /src/bugger/misc/VectorUtils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/VectorUtils.hpp -------------------------------------------------------------------------------- /src/bugger/misc/VersionLogger.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/VersionLogger.hpp -------------------------------------------------------------------------------- /src/bugger/misc/compress_vector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/compress_vector.hpp -------------------------------------------------------------------------------- /src/bugger/misc/fmt.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/fmt.hpp -------------------------------------------------------------------------------- /src/bugger/misc/tbb.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/misc/tbb.hpp -------------------------------------------------------------------------------- /src/bugger/modifiers/BuggerModifier.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/modifiers/BuggerModifier.hpp -------------------------------------------------------------------------------- /src/bugger/modifiers/CoefficientModifier.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/modifiers/CoefficientModifier.hpp -------------------------------------------------------------------------------- /src/bugger/modifiers/ConsroundModifier.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/modifiers/ConsroundModifier.hpp -------------------------------------------------------------------------------- /src/bugger/modifiers/ConstraintModifier.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/modifiers/ConstraintModifier.hpp -------------------------------------------------------------------------------- /src/bugger/modifiers/FixingModifier.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/modifiers/FixingModifier.hpp -------------------------------------------------------------------------------- /src/bugger/modifiers/ObjectiveModifier.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/modifiers/ObjectiveModifier.hpp -------------------------------------------------------------------------------- /src/bugger/modifiers/SettingModifier.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/modifiers/SettingModifier.hpp -------------------------------------------------------------------------------- /src/bugger/modifiers/SideModifier.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/modifiers/SideModifier.hpp -------------------------------------------------------------------------------- /src/bugger/modifiers/VariableModifier.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/modifiers/VariableModifier.hpp -------------------------------------------------------------------------------- /src/bugger/modifiers/VarroundModifier.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scipopt/MIP-DD/HEAD/src/bugger/modifiers/VarroundModifier.hpp --------------------------------------------------------------------------------