An API which allows constraint programming for java programmers. It aims at describing hard combinatorial problems in the form of Constraint Satisfaction Problems and solving them with Constraint Programming techniques
Questions tagged [choco]
120 questions
1
vote
0 answers
What are all the duplicate .install packages in chocolatey package manager?
What are all the duplicate .install packages in chocolatey package manager? Is one for local user and the other is for the system or something else?
nodejs|16.14.2|17.9.0|false
nodejs.install|16.14.2|17.9.0|false
Alex
- 627
- 8
- 15
1
vote
1 answer
conda create environment command gives 'Found conflicts! Looking for incompatible packages.'
I installed miniconda via choco install miniconda3.
Creating a python3 environment works fine.
conda create --name envA python=3 --verbose
But creating a python2 environment has a problem.
conda create --name envB python=2 --verbose
Collecting…
phreed
- 1,759
- 1
- 15
- 30
1
vote
1 answer
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 = new Model("Minimum");
IntVar x =…
Rolf Staflin
- 2,092
- 2
- 22
- 19
1
vote
1 answer
CHOCO Constraint Solver features
Does anyone know whether CHOCO supports the following:
Dynamic Variable Ordering
and
Precedence Constraints ?
kxk
- 576
- 2
- 11
- 30
1
vote
1 answer
How do you install meteor with choco?
I'm installing Meteor through Choco and so far it only installs version .0.0.4. I believe it should be installing 1.1? Also it installs an empty Meteor folder. How do you get the proper Meteor version to be installed? Where is the choco folder…
d2webdeveloper
- 11
- 1
1
vote
1 answer
Deploy VS19 over PowerShell DSC and choco
My goal is to deploy TeamCity agents configuration in Azure with DSC extensions. I'm able to deploy all required apps and services but I can't find how to deploy Visual Studio 19 with its optional parameters. VS19 itself installed, except parameters…
Oleh Tarasenko
- 601
- 5
- 17
1
vote
1 answer
How i can get sum of variables in choco solver
I have
IntVar[] orArea = new IntVar[N];
IntVar[] orCount = new IntVar[N];
IntVar[] orRows = new IntVar[N];
IntVar total_trim = model.intVar("trim", 0, 1000);
for (int i = 0; i < N; i++) {
orRows[i] = model.intVar("or_" + i + "_rows",0, 5);
…
Сергей Андреев
- 9
- 1
1
vote
1 answer
Choco-solver : define a constraint on a part of an intVar
Can we check an equality between 2 partial number with choco solver ?
I have a 2 dimensional array, and for each element of it, their domain are different number who have the same form : a number composed by 6 digits (some example of values a…
Nairo
- 61
- 9
1
vote
0 answers
Chocolatey - not able to find package from Artifactory
I am trying to install package using Chocolatey, and I am stuck at getting the package from artifactory.
I confirmed that my.package.1.0.0.nupkg is available in the URL: https://www.myarti.com/artifactory/packages
The artifactory requires 'access'…
Adrian
- 836
- 7
- 20
- 44
1
vote
0 answers
Product configuration generator
Given various features for a product, options for the features and the compatibility rules between the features, I would like to generate list of all feasible product configurations.
For example, my current use case is similar to configuring a…
Karthik
- 75
- 1
- 7
1
vote
1 answer
Resource allocation in choco solver
i am using choco to solve a Virtual machine allocation problem and this is what i am trying to do:
Suppose we have 3 arrays for our physical machine properties (PMcpu, PMram, PMbw) and 3 arrays for our virtual machines (VMcpu, VMram, VMbw). Now we…
Mazhar Zandsalimi
- 170
- 1
- 3
- 17
1
vote
1 answer
Choco Solver: how to setup a CSP with real variables and constraints
I'd like to write a program for automatically generating indoor environments. To this end, I considered the idea of formulating the problem as a CSP, where the variables are:
x_o,y_o: position of object o in the environment
theta_o: orientation of…
Federico Nardi
- 510
- 7
- 19
1
vote
1 answer
Choco Solver - Variables association
I'm using choco solver 4.0.5 (latest until now) and the few examples on the web besides not contemplating my need, use older version.
I'm absolutely a begginner on choco solver, and after very hard search on the web, I came here to ask help.
I…
Neeryck
- 79
- 1
- 10
1
vote
2 answers
Choco solver propogation and search strategy interaction
I have started to use choco-solver in my work and didn't understand how propogator and search stradegies interart with each other.
I think choco has some flag that shows me if there is any domain of constraint variables that is changed during…
Yuri Oleynik
- 13
- 3
1
vote
1 answer
sum multiple variables in one constraint with choco
I am using choco to solve a CSP , and one of my constraints is that the sum of all my 5 variables is less than 10 . for a sum of two variables we can use the function arithm
model.arithm(x1,"+",x2,"<",10).post();
but this method can't accept more…
Ghassen Tounsi
- 38
- 8