Issues

• maximum and minimum: (ne,k) fails

  bugConstraints (Global)maximumminimumunit-tests
  xcsp3team/ACE#34 · Filter by author szczepanskiNicolas opened on Oct 19, 2026

• cardinality: exceptions when all the values have 0 occurrences, or when a value in no domain has a variable as number of occurrences

  bugcardinalityConstraints (Global)unit-tests
  xcsp3team/ACE#33 · Filter by author szczepanskiNicolas opened on Oct 16, 2026

• cardinality with variables as values and intervals as occurrences: the upper bounds are excluded

  bugcardinalityConstraints (Global)unit-tests
  xcsp3team/ACE#31 · Filter by author szczepanskiNicolas opened on Oct 16, 2026

• meta-constraints or and iff: their components are posted as a conjunction

  bugConstraints (Global)ifforunit-tests
  xcsp3team/ACE#32 · Filter by author szczepanskiNicolas opened on Oct 16, 2026

• cardinality: wrong solutions when each value can be assigned at most once (replaced by allDifferent)

  bugcardinalityConstraints (Global)unit-tests
  xcsp3team/ACE#30 · Filter by author szczepanskiNicolas opened on Oct 16, 2026

• cardinality: wrong solutions when the number of occurrences of a value is the number of variables

  bugcardinalityConstraints (Global)unit-tests
  xcsp3team/ACE#29 · Filter by author szczepanskiNicolas opened on Oct 16, 2026

• nValues: an exception without message when the limit makes the constraint unsatisfiable (k < 1, or k > |X|)

  bugConstraints (Global)nValuesunit-tests
  xcsp3team/ACE#28 · Filter by author szczepanskiNicolas opened on Oct 15, 2026

• nValues with the condition (eq,k): a wrong solution, and a failure when the variables have different types of domains

  bugConstraints (Global)nValuesunit-tests
  xcsp3team/ACE#26 · Filter by author szczepanskiNicolas opened on Oct 13, 2026

• regular: java.lang.Exception when the variables of the scope have different domains

  xcsp3team/ACE#17 · Filter by author szczepanskiNicolas opened on Sep 16, 2026

• extension: wrong solutions with some hybrid tables of level 2

  bugConstraints (Global)extensionunit-tests
  xcsp3team/ACE#15 · Filter by author szczepanskiNicolas opened on Sep 14, 2026

• extension: a table of conflicts with the symbol * makes ACE fail

  bugConstraints (Global)extensionunit-tests
  xcsp3team/ACE#14 · Filter by author szczepanskiNicolas opened on Sep 14, 2026

• abs, dist, mul, div and mod fail with negative values (in the domains or as constants)

  absbugConstraints (Intension)divmodmulunit-tests
  xcsp3team/ACE#12 · Filter by author szczepanskiNicolas opened on Sep 14, 2026