minizinc-based solvers compile