naxos

naxos copied to clipboard

Continuous integration problem when upgrading to Ubuntu 20.04

2

The job for the `apps/XCSP3` folder needs `g++-7` but this is installed after the compilation stage.

pothitos

Determine redundant constraints

1

Hello, I have a Problem with a lot of redundant constraints. I'm wondering if there's a way to determine which constraints were or weren't used in finding the solution (if...

manbearcar

Encode declared constraints and print on demand the violated ones

4

Is there a way to check if a particular constraint has been added to the problem manager before calling `nextSolution`? For example, check if the constraints `var == 1` has...

alxhotel