# Tag Info

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 ...
• 934
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 ...
• 13.5k
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,667

### 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 "...
• 39.6k

### 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:/...
• 934

### Why MiniZinc do not do convert to linear constraint a quadratic constraint?

What formulation do you expect MiniZinc to produce? MiniZinc does not convert x1 * y1 = 1 to a linear constraint because ...
• 981

### 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 ...
• 39.6k
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
Accepted

### optimizing choosing subset of best items

Minizinc supports MIP solvers, which are likely better than CP solvers when floats are used. When using HiGHS with random data (1000 scores), I see: ...
• 2,806
Accepted

### Multiplicity-Constraint in Constraint Programming Solvers

What "special" constraints a CP solver provides tends to vary by solver. I think it is fairly common, though, for CP solvers to treat logical expressions as equivalent to binary variables. ...
• 39.6k