Is there a python library to use Choco solver from python? Or is it planned in the roadmap?

Question

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 a python library available today to use choco solver?

I have tried to find the answer in the existing discussions but did not succeed so far

Please provide enough code so others can better understand or reproduce the problem. — Community, Apr 01 '22 at 13:19
I do not think any code is needed to answer this one, it is a generic question — Laura HOULLEY, Apr 04 '22 at 07:18

score 0 · Answer 1 · answered Apr 27 '22 at 08:19

0

PuLP appears to have partial Choco support, but not all constraint types are implemented (see https://github.com/chocoteam/choco-parsers/issues/15 )

answered Apr 27 '22 at 08:19

Etienne PY-CIRCAN

1
1

1

This is true, but it imposes a purely linear model, which erases the presence of global constraints, which are the strength of CP. – cprudhom May 11 '22 at 09:39

score 0 · Answer 2 · answered May 10 '22 at 16:05

The easiest way to use Choco via Python is to use PyCSP3. Choco-solver is one of the backend solvers. Although using the Java library directly offers more freedom, it is quite practical.

Alternatively, although it requires a bit more work, with GraalVM native image it is possible to provide a standalone native library without dependency on the JVM and build Python code to link Choco-solver (see similar work done for JHeaps). But everything has to be done.

Is there a python library to use Choco solver from python? Or is it planned in the roadmap?

2 Answers2