choco-solver
choco-solver copied to clipboard
chocoteam
An open-source Java library for Constraint Programming
**Describe the bug** I encounter a very strange bug when using `ParallelPortfolio`. I cannot post the code to reproduce it because the model is quite complex, but I'll try to...
I know that using the `streamSolutions` and `streamOptimalSolutions` can be used to limit the number of solutions, however, this might not be intuitive for users (at least it was not...
Let x be a integer variable. The following views are available: - scale view: s(x) = a*x (a >= -1) - minus view: m(x) = -x - offset view: t(x)...
The goal is to - reduce the code required to make parallel search - objectify the Strategy management, thus giving more visibility on the creation of strategies. My proposal :...
I found out that posting an equality constraint on IntVar can create new variables in the model. An example of code showing that variables are created is the following: ```java...
When creating a variable using an arithmetic expression, the variable would be more identifiable in output if it could be named for a problem domain concept. ## Expected behavior ArExpression.intVar...
It would be nice if Choco were able to support [MiniZinc output format](https://www.minizinc.org/doc-2.4.3/en/fzn-spec.html#statistics-output).
Hello, ## The issue I found a bug in the way the random seed is used when creating a Search.randomStrategy. The same seed is used for the VariableSelector and the...
Dear developers, I have been trying to install Ibex solver to be used with Choco for a few days now. I was unable to install it on my 64 bit...
