91 questions
0
votes
0
answers
35
views
How to implement conditions on choco-solver?
I'm reading this paper:
https://hal.science/hal-01092574/
They use CP programing to find diferential characteristic for AES cipher.
I am curious to know how we can implement this functionality using ...
- 23
0
votes
1
answer
79
views
Constraints in PyChoco using %2
I use PyChoco.
I have three vectors of 0 and 1 named O1, O2, O3 and I would like to write the constraint:
O3 = (01 + O2) %2
The best I have done:
O1 = model.intvars(2,0,1)
O2 = model.intvars(2,0,1)
...
1
vote
1
answer
89
views
How do I model an interval variable with an intensity function on Choco Solver?
I am trying to solve a scheduling optimization problem using Choco solver. It requires the scheduling of tasks based on the workforce's shift. It includes a capability that certain tasks can be ...
- 11
1
vote
1
answer
85
views
Minimize error in average of priced resource assignments
Problem definition
I need to group resources, where the average price of each group is closest to a given average price. As an input I get a list of resources with price and quantities of each one, ...
0
votes
1
answer
80
views
Is there a way to limit solutions in choco CPSolver 2.1 like there is in Solver 4.10?
I have an old Choco 2.1.4 project and would like to limit the number of solutions solvedto 2 as I am only interested in knowing if there are 0, 1 or more than one solutions and would like to shave ...
- 3,268
0
votes
2
answers
210
views
ChocoSolver - Find the minimal number of path to visit all cities
I am using Choco Solver 4.10.8 in Java for a constraint programming problem. The goal is to find the minimal number of path we need to use to visit all the cities in a matrix M which is defined here.
...
- 13
0
votes
1
answer
48
views
How can i call cpprofiler in choco-solver for contrainst programming profiling
I found this on choco-solver documentation but i do not know how use it with provided choco-solver sample program in order to profile.
NB: I already install cpprofiller in my machine and launch it. So ...
- 35
0
votes
1
answer
125
views
Choco-solver IntVar declaration : How to declare an IntVar with two(or more) boundedDomain?
IntVar v = model.intVar("v", 1, 12, true);
// or
v= model.intVar("v", 20, 30, true);
I want the value of IntVar v not only in [1,12] but also in [20,30] and in other segment of ...
- 11
0
votes
2
answers
709
views
Is there a python library to use Choco solver from python? Or is it planned in the roadmap?
I work at Air Liquide and we are using choco solver in one of our optimization tool, and it is consequently coded in java. The question has been asked recently of the possibility to migrate the code ...
0
votes
1
answer
176
views
Choco-Solver: Is there a way to know how many times a constraint is broken during the solving process?
My models is inefficient and taking too long to find valid solutions so I think knowing how many times the constraints are being broken would be useful for testing.
Thank you
- 1
1
vote
1
answer
284
views
Why doesn't Choco-solver find a solution?
I'm learning to use Choco-solver. I found that it fails to find a solution to a very simple problem, which means that I must have misunderstood something...
I reduced my code to this:
Model model =...
- 2,217
0
votes
1
answer
260
views
How can i put an experiession to minimize using choco solver?
I use choco solver version 2.1.5, and I want to make an experience to minimize the sum of my variables. How I can do that?
- 103
0
votes
1
answer
65
views
Finding the list of unsatisfied constraints in the Choco model
Is there a function in choco that retrieves the list of unsatisfied constraints in the model?
0
votes
1
answer
270
views
Does the Choco-Solver Java library support Parallel Programming?
My constraint problem has become too complex, and I'm looking to know if the Choco-Solver framework which I'm using to model and solve the problem supports a parallel programming approach like multi-...
- 1
0
votes
1
answer
207
views
how to check which constraints would be violated by a presumed solution?
In some cases the solver fails to find a solution for my model, which I think is there.
So I would like to populate a solution, and then check which constraint is violated.
How to do that with choco-...
- 450