ECLiPSe now support MiniZinc version 1.0
Since ECLiPSe release 6.0_92 (or later) there is now support for MiniZinc version 1.0. This is great since the
It is actually three solvers, each with its special strength: See the following modules for more about how to use these solvers: My usage
As indicated in MiniZinc/FlatZinc support in SICStus Prolog version 4.0.5, when running a MiniZinc with an ECLiPSe solver, the following is created inside a general Perl program with the variables:
$model: the MiniZinc model
$solver: one of
$num_solutions: number o f solutions (0 for all solutions)
My ECLiPSe Page for my "real" ECLiPSe models.
ic solver has in some cases been the only solver for some of the my MiniZinc models, e.g. when there is multiplication of float variables. This solver is also often very fast.
It is actually three solvers, each with its special strength: See the following modules for more about how to use these solvers: My usage
As indicated in MiniZinc/FlatZinc support in SICStus Prolog version 4.0.5, when running a MiniZinc with an ECLiPSe solver, the following is created inside a general Perl program with the variables:
$model: the MiniZinc model
$solver: one of
ic, fz, or eplex$num_solutions: number o f solutions (0 for all solutions)
:-lib(minizinc).
:-lib(flatzinc_syntax).
go :-
minizinc:mzn_run('$model', zn_options{solver:fzn_$solver, solutions:$num_solutions}).
It is then saved as a file (e.g. model.ecl or something like that) and is then run from the shell with
eclipse -b model.ecl -e goSee also
My ECLiPSe Page for my "real" ECLiPSe models.