Issues

• element: crashes with (notin,S), (in,a..b) and a matrix of integers with a value; wrong solutions when the index is in the list, or a variable given several times

  bugConstraints (Global)elementunit-tests
  xcsp3team/cosoco#106 · Filter by author szczepanskiNicolas opened on Oct 27, 2026

• element with a condition (in,S): solutions missing and no termination, or segmentation fault, when the domains of the list are larger than S

  bugConstraints (Global)elementunit-tests
  xcsp3team/cosoco#105 · Filter by author szczepanskiNicolas opened on Oct 26, 2026

• maximumArg with (eq,y): segmentation fault and wrong solutions when the domain of y is not the range of the indexes, when y is in the list, or with a variable given several times

  bugConstraints (Global)maximumArgunit-tests
  xcsp3team/cosoco#104 · Filter by author szczepanskiNicolas opened on Oct 26, 2026

• Clique-p-hat1500-1_c26.xml

  xcsp3team/cosoco#102 · Filter by author audemard opened on Oct 23, 2026

• maximum and minimum: wrong solutions with (ne,k), (lt|le|gt|ge,y), intervals and sets, and a segmentation fault of maximum with (eq,y)

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

• cardinality: closed="true" is ignored, and a value greater than the values of the domains corrupts the memory

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

• allEqual, nValues (eq,1) and maximum on expressions such as not(b): s UNSUPPORTED

  allEqualbugConstraints (Global)unit-tests
  xcsp3team/cosoco#92 · Filter by author szczepanskiNicolas opened on Oct 14, 2026

• x = (y = k) with x not a 0/1 variable: invalid solution (Solution Error)

  bugConstraints (Intension)equnit-tests
  xcsp3team/cosoco#87 · Filter by author szczepanskiNicolas opened on Sep 29, 2026
  1

• Proposed improvements

  xcsp3team/cosoco#84 · Filter by author audemard opened on Sep 17, 2026

• allDifferent-matrix and lex-matrix: "Matrix variable does not exist" when the matrix is given by explicit rows

  allDifferentbugConstraints (Global)lexunit-tests
  xcsp3team/cosoco#82 · Filter by author szczepanskiNicolas opened on Sep 16, 2026
  1

• allEqual-list (not handled by the solvers): wrong solutions instead of a not implemented message, or segmentation fault

  allEqualbugConstraints (Global)unit-tests
  xcsp3team/cosoco#81 · Filter by author szczepanskiNicolas opened on Sep 14, 2026

• except: solutions lost or segmentation fault with allDifferent, allDifferent-list and allEqual

  allDifferentallEqualbugConstraints (Global)unit-tests
  xcsp3team/cosoco#78 · Filter by author szczepanskiNicolas opened on Sep 14, 2026
  1

• regular: solutions are lost with a non-deterministic automaton

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

• intension with only add

  xcsp3team/cosoco#57 · Filter by author audemard opened on Dec 3, 2025

• accap-z9

  xcsp3team/cosoco#56 · Filter by author audemard opened on Nov 27, 2025
  1

• Sum over basic nodes

  enhancement
  xcsp3team/cosoco#55 · Filter by author audemard opened on Nov 25, 2025
  1

• cardinality

  xcsp3team/cosoco#29 · Filter by author audemard opened on Apr 16, 2025
  1

• IDV in NoGoodsEngine

  xcsp3team/cosoco#22 · Filter by author tomosonalawa opened on Nov 10, 2024
  4

• in options

  xcsp3team/cosoco#14 · Filter by author audemard opened on Apr 16, 2024
  1