6 votes
Accepted

Minizinc: How to use a predicate in an assert statement?

assert requires a bool in the test part, and don't support var bool. A suggestion is to ...
  • 884
6 votes
Accepted

VRPTW implementation

Before implementing anything, you need to understand the equations. A good approach is to think in terms of resources. When handling capacity constraints, you are dealing with a load resource which is ...
  • 10.9k
5 votes
Accepted

Which MiniZinc-compatible solvers are best suited for floating decision variables and non-linear constraints?

Some of the coin-or open-source solvers like "couenne" can be used via MiniZn. You can follow the instruction of installation in this link. Info about Couenne: Couenne (Convex Over and Under ...
  • 8,350
5 votes

RCPSP minizinc model

With constraint solvers, I think it is generally desirable to exploit global constraints as much as is possible. As an alternative to your resource constraint, have a look at the section on the "...
  • 31.9k
4 votes

Which MiniZinc-compatible solvers are best suited for floating decision variables and non-linear constraints?

Of the constraint based solvers JaCoP (https://github.com/radsz/jacop ) and Gecode (https://www.gecode.org/) has support for float decision variables combined with nonlinear constraints. Choco (https:/...
  • 884
4 votes

A variable being a set...?

This is a constraint programming (CP) model. The "vocabulary" of MIP solvers is fairly standard. They all recognize real, integer and binary variables, linear equality and inequality ...
  • 31.9k
3 votes
Accepted

Adding a variable makes the model unsatisfiable in MiniZinc

It seems you ran into an issue in the MiniZinc compiler. Running with weight = [1,2,3]; under the current release (2.5.5) does indeed give UNSAT (even though it ...
  • 225

Only top scored, non community-wiki answers of a minimum length are eligible