XCSP Team

icon indicating a website link https://xcsp.org

icon company CRIL, University of Artois icon location France icon location We are interested in combinatorial constrained problems. We develop constraint solvers, for CP (Constraint Programming) and SAT (Satisfiability Testing).

Results 7 comments of XCSP Team

Unknown number of variables

It is possible to manage variables on the fly in certain cases for 1-dimensional array now. You need the last commited version (for the Pypi version, you need to wait...

Unknown number of variables

Hi, In the last version of the code, you can do that. This is not documented yet. Here are a few examples: ``` python from pycsp3 import * x =...

Unknown number of variables

This will be visible in the documentation very soon. Indeed, Version 2.1 will be published in November 2022.

Feature Request: Compiler API

Currently, you can compile and solve instances in sequence (by calling clear() between each problem). I am not sure that it is what you are looking. Please, tell us. An...

Feature Request: Compiler API

I will think about it soon and let you informed

Feature Request: Possible Acceleration?

The problems we have to solve are typically NP-complete, meaning that there does not exist any known polynomial algorithms to solve them. Since a few decades, researchers are trying to...

Suspicious escape sequences in some regular expressions

Thanks for the issue. Expressions have been updated (and pushed)