Issues

Count() with a constant term (as x >= x): an auxiliary variable can remain declared without constraint

xcsp3team/pycsp3#196 · opened

on Oct 6, 2026

The compactor fails on a list mixing variables of arrays and simple variables (Count(x[0], y, z), AllDifferent(x[0], y, z), ...)

xcsp3team/pycsp3#195 · opened

on Oct 6, 2026

Node.build(): repeated operands are not simplified (or(x,x), xor(x,x), x != x, ...), and constant intensions are generated (<intension> 1 </intension>)

xcsp3team/pycsp3#194 · opened

on Oct 6, 2026

1

Count() whose result is known when compiling (an integer outside 0..|X|, values that no term can take): to be evaluated by PyCSP3

xcsp3team/pycsp3#193 · opened

on Oct 6, 2026

1

Count() with a variable repeated among the terms: to be posted as a sum (and not as a count)

xcsp3team/pycsp3#192 · opened

on Oct 6, 2026

1

[Solver] cosoco: or(x0,x0) refused (scope contains variable x0 many times)

xcsp3team/pycsp3#191 · opened

on Oct 5, 2026

1

[Solver] cosoco: segmentation fault when the only constraint is a count that always holds

xcsp3team/pycsp3#189 · opened

on Oct 5, 2026

1

[Solver] ACE (parser): element (member) with the attribute reifiedBy and a variable as value: ClassCastException

xcsp3team/pycsp3#188 · opened

on Oct 5, 2026

1

[Solver] CHOCO: element (member) with the attribute reifiedBy: wrong solutions (reification ignored)

xcsp3team/pycsp3#187 · opened

on Oct 5, 2026

1

[Solver] CHOCO: count with the condition in or notin an interval: wrong solutions

xcsp3team/pycsp3#186 · opened

on Oct 5, 2026

1

[Solver] ACE: count with several values and the condition (eq,0) fails (Bad value of k=0)

xcsp3team/pycsp3#182 · opened

on Oct 5, 2026

1

[Solver] ACE: count with the condition (ne,0) or (ne,|X|) fails

xcsp3team/pycsp3#181 · opened

on Oct 5, 2026

1

Exist() with reified_by: a single variable that is not 0/1, no term, and invalid arguments

xcsp3team/pycsp3#179 · opened

on Oct 5, 2026

2

Count() and its shortcuts: integers among the terms are not refused with an explicit message (and are accepted by Exist() with two terms)

xcsp3team/pycsp3#180 · opened

on Oct 5, 2026

2

Exist() with reified_by in an expression: the reified constraint is lost

xcsp3team/pycsp3#178 · opened

on Oct 5, 2026

1

-mini: Count() on 0/1 variables with the value 1 loses its parameter condition ('1 in b' fails)

xcsp3team/pycsp3#177 · opened

on Oct 5, 2026

1

Count() with several variables as values: a warning 'A node is evaluated as a Boolean' is displayed

xcsp3team/pycsp3#175 · opened

on Oct 5, 2026

1

Count() and its shortcuts: invalid arguments accepted, or reported without explicit message

xcsp3team/pycsp3#176 · opened

on Oct 5, 2026

1

The shortcuts of Count() without value (Exist(), AtLeastOne(), AnyHold(), ...) accept terms that are not 0/1

xcsp3team/pycsp3#174 · opened

on Oct 5, 2026

3

Count() and its shortcuts on no term fail with 'in' a set, and with '|' and a 0/1 variable

xcsp3team/pycsp3#173 · opened

on Oct 5, 2026

1

Count() on a single term: an element <count> with a list of one variable is generated

xcsp3team/pycsp3#172 · opened

on Oct 5, 2026

1

Count() with no value (values=[] or values=set()): an empty element <values> is generated, and the solvers fail

xcsp3team/pycsp3#171 · opened

on Oct 5, 2026

2

'k not in x': the same constraint as 'k in x' is posted (count >= 1)

xcsp3team/pycsp3#170 · opened

on Oct 5, 2026

1

Console mode is not available on Windows

xcsp3team/pycsp3#56 · opened

on Aug 8, 2025

1

Feature Request: Compiler API

xcsp3team/pycsp3#51 · opened

on Aug 22, 2024

3

Navigation Menu

Repository navigation

Issues

Count() with a constant term (as x >= x): an auxiliary variable can remain declared without constraint

The compactor fails on a list mixing variables of arrays and simple variables (Count(x[0], y, z), AllDifferent(x[0], y, z), ...)

Node.build(): repeated operands are not simplified (or(x,x), xor(x,x), x != x, ...), and constant intensions are generated (<intension> 1 </intension>)

Count() whose result is known when compiling (an integer outside 0..|X|, values that no term can take): to be evaluated by PyCSP3

Count() with a variable repeated among the terms: to be posted as a sum (and not as a count)

[Solver] cosoco: or(x0,x0) refused (scope contains variable x0 many times)

[Solver] cosoco: segmentation fault when the only constraint is a count that always holds

[Solver] ACE (parser): element (member) with the attribute reifiedBy and a variable as value: ClassCastException

[Solver] CHOCO: element (member) with the attribute reifiedBy: wrong solutions (reification ignored)

[Solver] CHOCO: count with the condition in or notin an interval: wrong solutions

[Solver] ACE: count with several values and the condition (eq,0) fails (Bad value of k=0)

[Solver] ACE: count with the condition (ne,0) or (ne,|X|) fails

Exist() with reified_by: a single variable that is not 0/1, no term, and invalid arguments

Count() and its shortcuts: integers among the terms are not refused with an explicit message (and are accepted by Exist() with two terms)

Exist() with reified_by in an expression: the reified constraint is lost

-mini: Count() on 0/1 variables with the value 1 loses its parameter condition ('1 in b' fails)

Count() with several variables as values: a warning 'A node is evaluated as a Boolean' is displayed

Count() and its shortcuts: invalid arguments accepted, or reported without explicit message

The shortcuts of Count() without value (Exist(), AtLeastOne(), AnyHold(), ...) accept terms that are not 0/1

Count() and its shortcuts on no term fail with 'in' a set, and with '|' and a 0/1 variable

Count() on a single term: an element <count> with a list of one variable is generated

Count() with no value (values=[] or values=set()): an empty element <values> is generated, and the solvers fail

'k not in x': the same constraint as 'k in x' is posted (count >= 1)

Console mode is not available on Windows

Feature Request: Compiler API