python (12.9k questions)

javascript (9.2k questions)

reactjs (4.7k questions)

java (4.2k questions)

java (4.2k questions)

c# (3.5k questions)

c# (3.5k questions)

html (3.3k questions)

Questions - constraint-programming

Get number of attached constraints on a variable in MiniZinc

I have two sets of variables in my Minizinc program. Each variable from the first set necessarily has several constraints placed on it, but the variables in the second set are only implicitly constrai...
test-img

jon_simon

optimization

constraint-programming

minizinc

discrete-optimization

Votes: 0

Answers: 1

Latest Answer

As a general rule, I think that you are approaching your problem erroneously. There are several mis-conceptions in the approach that I can identify leading to this: Different solver back-ends might d...
test-img

Zayenz

Microsoft Solver Foundation gives wrong answer for a simple ILP

I want to solve a binary Linear Problem in C# using Microsoft Solver Foundation. I don't know why I get wrong answer. The Objective Value should be 41.1 but I get 213. The value of 5 variables should ...
test-img

shm

c#

solver

constraint-programming

ms-solver-foundation

linear-optimization

Votes: 0

Answers: 1

Latest Answer

The following MiniZinc model arrives at 14 as maximum value for the objective: set of int: rows = 1..5; set of int: cols = 1..7; array[rows, cols] of 0..1: vars_Matrix = [|0, 0, 1, 0, 1, 1, 1 ...
test-img

Axel Kemper

Google OR tools: how to evaluate complex or multi-level boolean constraints

Set up I am using the google OR tools as a constraint programming solver: from ortools.sat.python import cp_model I have defined the following BoolVars model = cp_model.CpModel() a = model.NewBoolVar...
test-img

ThaNoob

or-tools

constraint-programming

cp-sat-solver

Votes: 0

Answers: 1

Latest Answer

This kind of constraint cannot be added at once to the model. The constraint needs to be split up in its components (and & or gates). Each basic component needs to be set equal to a new BoolVar. T...
test-img

ThaNoob

Posts

Questions

Blogs

Jobs