software/minizinc/cmake/targets/libminizinc_mip.cmake at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / minizinc / cmake / targets / libminizinc_mip.cmake

at develop 402 B view raw

 1### Compile target for the base MIP interface
 2
 3add_library(minizinc_mip OBJECT
 4  lib/algorithms/min_cut.cpp
 5  lib/utils_savestream.cpp
 6
 7  solvers/MIP/MIP_solverinstance.cpp
 8
 9  include/minizinc/plugin.hh
10  include/minizinc/solvers/MIP/MIP_wrap.hh
11  include/minizinc/solvers/MIP/MIP_solverinstance.hh
12  include/minizinc/solvers/MIP/MIP_solverinstance.hpp
13)
14add_dependencies(minizinc_mip minizinc_parser)