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 ...
- 914
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 ...
- 12.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,622
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 "...
- 37.8k
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:/...
- 914
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 ...
- 921
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 ...
- 37.8k
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
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. ...
- 37.8k
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:
...
- 921
Only top scored, non community-wiki answers of a minimum length are eligible