pothitos/naxos

A C++ Constraint Programming Library

naxos's Issues

Continuous integration problem when upgrading to Ubuntu 20.04

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

Determine redundant constraints

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 there is one).
Thanks and I hope this makes sense.

Invalid 'constr->revisionType'

When I execute the code:

naxos::NsProblemManager pm;
naxos::NsIntVar test = naxos::NsIntVar(pm, 0, 1);
pm.add(test == 0);
if (pm.nextSolution()) {
  std::cout << "Solution found!" << std::endl;
}

I get this error:

Naxos: Ns_QueueItem::getNextConstraint: Invalid 'constr->revisionType'

Why?
Is this a bug or a problem with the use of the library?

Encode declared constraints and print on demand the violated ones

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 been added.

Grid representation

What is the best type to use as a representation of a grid?

A NsIntVarArray?
A NsDeque<NsDeque<NsInt>> ?
Or is there something more convenient?

We need more example

such as sudoku, Einstein's Riddle.

VS 2017 compile error

Hi,

I am trying to compile with VS2017 Community Edition, but I get this error.

E0413 no suitable conversion function from "std::ofstream" to "bool" exists c:\naxos\core\naxos.h 1249

Please help.