dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / cmake / targets / libminizinc_nl.cmake
at develop 519 B view raw
1### MiniZinc NonLinear Executable Solver Target 2 3add_library(minizinc_nl OBJECT 4 solvers/nl/nl_components.cpp 5 solvers/nl/nl_file.cpp 6 solvers/nl/nl_solreader.cpp 7 solvers/nl/nl_solverfactory.cpp 8 solvers/nl/nl_solverinstance.cpp 9 10 include/minizinc/solvers/nl/nl_components.hh 11 include/minizinc/solvers/nl/nl_file.hh 12 include/minizinc/solvers/nl/nl_solreader.hh 13 include/minizinc/solvers/nl/nl_solverfactory.hh 14 include/minizinc/solvers/nl/nl_solverinstance.hh 15) 16add_dependencies(minizinc_nl minizinc_parser)