Questions tagged [choco]
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
111
questions
1
vote
1
answer
14
views
Installing Dolt on Windows 10
I was trying dolt out for windows for a project ran into this error Access to the path 'C:\ProgramData\chocolatey\lib-bad' is denied. I think its was permissions issue.
Do you want to continue?([Y]es/[...
0
votes
0
answers
11
views
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|...
0
votes
0
answers
56
views
installation problem - nodejs-lts (exited 1603) - Error while running 'C:\ProgramData\chocolatey\lib\nodejs-lts\tools\chocolateyinstall.ps1'
I'm trying to create an android emulator for react-native, but I'm having some trouble installing some packages when I type in this command: choco install -y nodejs-lts openjdk11
You will find the ...
0
votes
1
answer
14
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 ...
1
vote
1
answer
47
views
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 ...
0
votes
1
answer
30
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 ...
0
votes
0
answers
16
views
Desk Allocation with choco solver Optimisation issue
Hello I'm a beginner with choco-solver and I'm currently having trouble writing optimized models.
Here is my problem:
I have 5 days of work (in my week).
I have 'b' offices.
I have 'u' user.
I have a ...
0
votes
2
answers
66
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
17
views
Is there a way to specify '--force' in chocolateyinstall.ps1?
I would like to be able to specify the --force argument within the chocolateyinstall.ps1 file. Currently, in that file I am invoking a batch file and try to append --force in the end but ...
0
votes
1
answer
33
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
0
votes
0
answers
45
views
AWSCLI installation in powershell
I have install chcolatey but to install awscli i have given
command as:
choco install awscli ,and
out put is:
Cannot find file at '../choco.exe' (C:\ProgramData\chocolatey\choco.exe). This usually ...
0
votes
0
answers
17
views
Mod operator for scalar product in Choco solver
Available operators for scalar are "=", ">=", "<="
model.scalar(variable, coeff, "=", target).post();
I'm trying to add constraint where scalar product of ...
0
votes
0
answers
58
views
Explain model.scalar choco
I am having difficulty understanding what exactly model.scalar method is doing in the choco library
let say we have a simple bounded knapsack problem...
Given an inventory of items, where each item ...
0
votes
0
answers
45
views
Creating a custom search strategy with Choco Solver or/and manage the search tree
As part of my research, I have to master choco in depth. I have two options to do with choco solver. I want to create a custom search strategy that will intervene on the order of values and variable. ...
0
votes
0
answers
21
views
Example of explanations in choco solver 4
I'm doing research about explanations in CSP and trying to learn Choco in parallel. Are there any example of explanations provided by the solver or any sort of tutorial? The official documentation at:
...
0
votes
1
answer
63
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 =...
0
votes
1
answer
48
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?
0
votes
1
answer
22
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
56
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-...
0
votes
1
answer
71
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-...
2
votes
0
answers
335
views
How to bypass all proxy settings for choco
On Windows I've got a proxy set a computer level (netsh winhttp show proxy) and user network level settings > network > proxy.
The proxy is denying almost everything. It is being picked by choco ...
5
votes
4
answers
9k
views
" choco install visualstudio2017-workload-vctools " Fails Error: The install of visualstudio2017-workload-vctools was NOT successful
C:\WINDOWS\system32>choco install visualstudio2017-workload-vctools
Chocolatey v0.10.15
Installing the following packages:
visualstudio2017-workload-vctools
By installing you accept licenses for ...
1
vote
1
answer
219
views
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 ...
1
vote
1
answer
148
views
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 ...
0
votes
1
answer
46
views
Numpy is installed, but astropy says numpy is not installed
An ImportError is thrown when my program searches for Numpy. Yet, numpy is installed as seen by the import numpy working properly.
I've tried
uninstalling python and numpy and reinstalling with ...
0
votes
1
answer
50
views
Choco 4: calling a method whenever a Boolean variable gets assigned or unassigned
I have a technical question regarding the Choco 4 CP solver.
I would like to call a method (lets call it f()) whenever some Boolean variables in my model are assigned or unassigned during search. The ...
0
votes
1
answer
76
views
How can I can add an arithmetic constraint to my model in chocosolver
I'm new to chocosolver, and i want to add an arithmetic constraint to my model. The probleme is that the constraint contains 6 Invar variables.
Here is the constraint: ((A1*B1)+(A2*B2)) / (B1+B2) = ...
1
vote
1
answer
272
views
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++) {
...
0
votes
1
answer
155
views
Puppet: how to check in IF condition if a Choco package installed OR a local user exists?
Windows Server environment. We have servers with a Puppet role that installs a specific Choco package. It was decided that the package should not be installed on new servers. The simplest way would be ...
1
vote
1
answer
248
views
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 ...
0
votes
1
answer
212
views
Run powershell command from cmd [duplicate]
I want to run a PowerShell command from cmd, because I need to install the Chocolatey package manager from my Python script. Like this:
import subprocess as sp
choco = sp.Popen(['powershell', 'Start-...
0
votes
1
answer
130
views
Reusing choco solver model to further constrain the solution
I'm using the choco solver library to generate a set of puzzles. I need to run the solver, check how many solutions there are and if there is more than one, add an extra constraint. Repeating this ...
0
votes
0
answers
42
views
how to use Choco to set objective like 3.5X+4.2Y?
I am new to Choco. I found an example online saying showing how to set the object as below
// Model objective function 3X + 4Y
IntVar OBJ = model.intVar("objective", 0, 999);
model.scalar(new IntVar[]...
0
votes
1
answer
236
views
Manual reboot & login when Installing packages through choco via powershell script
I've a powershell script which installs some softwares using choco.
Softwares like vagrant require reboot of the system and machine reboots on its own.
How can I make this process fully automated as ...
0
votes
1
answer
222
views
AttributeError: 'module' object has no attribute 'PROTOCOL_TLSv1_2' on windows when using coursera-dl package
i wanted to download from coursera using coursera-dl package on windows
it kept giving that message
AttributeError: 'module' object has no attribute 'PROTOCOL_TLSv1_2'
so i searched through ...
0
votes
1
answer
72
views
Choco solver logging
I'm trying the Choco solver (version 4.10.1) for the first time, and I don't know how to enable logging for the solver.
I've added slf4j-log4j12 dependency and a log4j.properties file.
For older ...
0
votes
1
answer
167
views
Use IntVar as index of IntVar[] array in a constraint
I want to use the value of an IntVar as an index of another IntVar array in a constraint, using Choco Solver.
I have an IntVar who contains the next task who follow the i-th task
And I have another ...
0
votes
0
answers
1k
views
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/...
0
votes
0
answers
421
views
How to install chrome in custom location using chocolatey
I want to install chrome in a custom location by using chocolatey, but I can't figure out how to do it.
I know I have to use
choco install googlechrome --installargs "<someargs>"
but I can ...
0
votes
1
answer
214
views
Create Chocolatey Package and perform installation multiple times
I want to use chocolatey to manage my windows application installer. However, my application requires multiple times installation with different parameters. I wonder is it possible to be achieved by ...
0
votes
0
answers
60
views
sum variable Σ Xik = Σ Xkj for i=j=k=1…N, in one constraint with choco
I am using choco to solve a CSP , and one of my constraints is that the sum of one variables Σ Xik = Σ Xkj for i=j=k=1…N.
How do I accomplish this? thank you for your help.
-1
votes
1
answer
312
views
sum one variable (X[i][j]) in one constraint with choco
I am using choco to solve a CSP , and one of my constraints is that the sum of one variables (X[i][j]) is less than N=10, and i=j=1....N.
How do I accomplish this? thank you for your help.
sum(X[i][...
1
vote
0
answers
70
views
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 ...
0
votes
1
answer
161
views
Modeling a constraint using Choco Solver
i want to model the following constraint in CHOCO. Any help please
//cSelected[i]=1 ==> ∀ j∈{1,…,i-1} xCategory[i]!= xCategory[j]
cSelected[i]=0, otherwise
this is what i am trying to ...
0
votes
1
answer
75
views
Choco Solver setObjective maximize polynominal equation
I'm currently trying out Choco Solver (4.0.8) and I'm trying to solve this equations:
Maximize
subject to
I'm stuck on maximising the first equation. I guess I just need a hint which subtype of ...
1
vote
1
answer
346
views
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 ...
0
votes
1
answer
825
views
Modelling constraints in Choco solver
I'm playing around with choco solver to solve some task scheduling problems.
I have several jobs and possible slots (where a job can be executed).
There are some constraints like:
There could only ...
0
votes
1
answer
523
views
Chocolatey Credentials Required
I just installed chocolatey through nuGet using the following steps in the admin shell: chocolatey nuget install. However, when I try to get any package, I am asked for credentials (which I assume is ...
-4
votes
2
answers
213
views
Explanation of solution from choco solver
When i run my choco solver 4.0.6 I get this kind of solution :
Solution : X = 10, Y = 14, REIF_1=1, not(REIF_1)=0, REIF_2=1, not(REIF_2)=0, IV_3=2, REIF_4=1, not(REIF_4)=0 ...
Except the values of ...
0
votes
1
answer
117
views
Domain Maximum - Choco solver
I'm using choco solver in Java. How can I get the maximum value of a domain?
For example here is my domain:
IntVar gisement_courant = model.intVar("Gisement courant", 5, 10);
How can I get the ...