diff options
Diffstat (limited to 'math/minizinc/pkg-plist')
-rw-r--r-- | math/minizinc/pkg-plist | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/math/minizinc/pkg-plist b/math/minizinc/pkg-plist index 06d08b786a3f..d77b818d55e2 100644 --- a/math/minizinc/pkg-plist +++ b/math/minizinc/pkg-plist @@ -71,6 +71,8 @@ include/minizinc/solvers/MIP/MIP_solverinstance.hpp include/minizinc/solvers/MIP/MIP_wrap.hh include/minizinc/solvers/MIP/MIP_xpress_solverfactory.hh include/minizinc/solvers/MIP/MIP_xpress_wrap.hh +include/minizinc/solvers/atlantis_solverfactory.hh +include/minizinc/solvers/atlantis_solverinstance.hh include/minizinc/solvers/chuffed_solverfactory.hh include/minizinc/solvers/chuffed_solverinstance.hh include/minizinc/solvers/fzn_solverfactory.hh |