dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / cmake / targets / libminizinc_fzn.cmake
at develop 470 B view raw
1### MiniZinc FlatZinc Executable Solver Target 2 3add_library(minizinc_fzn OBJECT 4 solvers/fzn/fzn_solverfactory.cpp 5 solvers/fzn/fzn_solverinstance.cpp 6 solvers/mzn/mzn_solverfactory.cpp 7 solvers/mzn/mzn_solverinstance.cpp 8 9 include/minizinc/solvers/fzn_solverfactory.hh 10 include/minizinc/solvers/fzn_solverinstance.hh 11 include/minizinc/solvers/mzn_solverfactory.hh 12 include/minizinc/solvers/mzn_solverinstance.hh 13) 14add_dependencies(minizinc_fzn minizinc_parser)