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
0
votes
3 answers
Similar library of Choco in C#
Is there any similar library in C# for Choco (Contraint Programming
Wassim AZIRAR
- 10,823
- 38
- 121
- 174
0
votes
1 answer
Installing FreeRDP using chocolatey gives me no executable to run?
I did a choco install freerdp and tried looking for the exe in program files etc
There's a folder in the User directory but doesn't contain anything useful
sak2
- 3
- 2
0
votes
1 answer
How to create local cache for choco package manager
I am building a windows docker image and use a package manager called choco for automating package installation. I would like to avoid downloading packages from the internet every time I modify and rebuild the dockerfile. Locally we run an…
Alin
- 3
- 1
0
votes
2 answers
chocolatey says it has successfully force reinstalled python 3.11 - but I can't find it
Windows 11.
I am not great at virtual environments, and I have bumped around between a half dozen different "solutions." I thought I had it solved with chocolatey, but I am trying to install python3.11, and not having success. Basically, choco…
Adam
- 840
- 6
- 24
0
votes
0 answers
How to access a Var by it's NAME in Java Choco Solver?
here is my choco solver code:
Model model = new Model();
IntVar p1=model.intVar("type",new int[]{45,46,47});
I want to access IntVar p1 by it's Name,which is the String type,not JAVA variable name p1.
Is there any thing…
Fane Xiang
- 13
- 3
0
votes
1 answer
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 some time off the solver.solve() call when there are…
lost baby
- 3,178
- 4
- 32
- 53
0
votes
2 answers
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.
We have 4 paths, and 6 cities.
static int[][] M =…
MatthieuQcc
- 13
- 3
0
votes
1 answer
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 it start a tcp server on port 6565.
Need help…
Genereux
- 35
- 5
0
votes
1 answer
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 values [...,....]
I don't understand how to do this with the specific…
Yves Cabon
- 11
- 3
0
votes
2 answers
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 of the tool to python
Hence my question : is there…
0
votes
1 answer
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 unsurprisingly it does not work.
YM_coding
- 95
- 8
0
votes
1 answer
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
Eloy
- 1
0
votes
1 answer
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?
MAJID majid
- 103
- 1
0
votes
1 answer
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
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-threading.
Originally, I thought this would happen…
Eloy
- 1