pothitos/acvsbc-solver-patches

Arc and Bounds Consistency Patches for Naxos Solver :high_brightness:

acvsbc-solver-patches's Issues

Disable unsupported operations for AC in XCSP3 parser

• YmodZ
• CmodZ
• YdivZ

Travis CI error for Naxos AC

This occurs in this run while checking this instance.

$ ./naxos-xcsp3.AC verification/COP_Max_Minimization.xml
Exception at line 8
s UNSUPPORTED
c regex_error

Unfortunately, this cannot be reproduced in my environment...

Implement arc and bounds consistency

We can adopt the arc consistency propagation code for various constraints from the old Naxos Solver.

• Supports table
  • In 175 instances
  • Substitute bounds consistency implementation by a new arc consistency one
• Sum
  • In 158 instances
  • Substitute bounds consistency implementation by a new arc consistency one
• X = Y * C
  • In 104 instances
  • Substitute the bounds consistency implementation by an arc consistency one
• AllDifferent
  • In 103 instances
  • Substitute arc consistency implementation by a new bounds consistency one
• Conflicts table
  • In 69 instances
  • Substitute bounds consistency implementation by a new arc consistency one
• X = Y
  • In 58 instances
  • Substitute the bounds consistency implementation by an arc consistency one
• X = Y + Z
  • In 18 instances
  • Substitute bounds consistency implementation by a new arc consistency one
• X = Y * Z
  • In 17 instances
  • Substitute bounds consistency implementation by a new arc consistency one
• X ≠ Y
  • In 16 instances
  • Substitute arc consistency implementation by a new bounds consistency one
• VarArrElement
  • In 12 instances
  • Substitute bounds consistency implementation by a new arc consistency one
• X = Y + C
  • In 12 instances
  • Substitute the bounds consistency implementation by an arc consistency one
• X = |Y|
  • In 12 instances
  • Substitute the bounds consistency implementation by an arc consistency one
• Max
  • In 15 instances
  • Substitute bounds consistency implementation by a new arc consistency one

Study the behavior of official XCSP3 instances

We should compare the time needed to solve official XCSP3 CSPs while maintaining AC and BC.

P.S. Issue transferred from pothitos/ACvsBC#1.

Naxos AC solver failure with QuadraticAssignment-bur26a CSP

After compiling XCSP3 solver/folder against the old Naxos AC library, the following command exits with code 143.

timeout --preserve-status --kill-after=10s 10s \
    ./naxos-xcsp3.AC XCSP3-Java-Tools/instancesTest/QuadraticAssignment-bur26a.xml