Skip to main content
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 ...
hakank's user avatar
  • 934
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 ...
Kuifje's user avatar
  • 13.5k
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 ...
Oguz Toragay's user avatar
  • 8,667
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 "...
prubin's user avatar
  • 39.6k
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:/...
hakank's user avatar
  • 934
4 votes

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 ...
Oscar Dowson's user avatar
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 ...
prubin's user avatar
  • 39.6k
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 ...
Dekker1's user avatar
  • 225
3 votes
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: ...
Erwin Kalvelagen's user avatar
3 votes
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. ...
prubin's user avatar
  • 39.6k
2 votes

Which method MiniZinc uses to decrease terms of degree > 2 to quadratic terms?

It's not a particular method or algorithm. The reformulation just lifts out bilinear terms and replaces them with a new variable: ...
Oscar Dowson's user avatar

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