Search results

#= may fail in one direction but not the other

Status: Open.

#40 In triska/clpz;

·jeshan openedon Mar 2, 2025

min could settle if one input and the other's upper bound are known

Status: Open.

#39 In triska/clpz;

·jeshan openedon Jan 18, 2025

CLP(ℤ) in multiple files

Status: Open.

#36 In triska/clpz;

·notoria openedon Dec 9, 2024

Maybe unexpected domain error

Status: Open.

#35 In triska/clpz;

·UWN openedon Dec 8, 2024

disjoint2/1 succeeds with negative widths and heights

Status: Open.

#34 In triska/clpz;

·SaGagnon openedon Oct 27, 2024

How to get changes in scryer's fork?

Status: Open.

#28 In triska/clpz;

·jeshan openedon Jan 20, 2024

Unification may fail with user attributes

Status: Open.

#27 In triska/clpz;

·jeshan openedon Jan 13, 2024

More general global_cardinality/3

Status: Open.

#25 In triska/clpz;

·librarianmage openedon Dec 7, 2023

sign/1 lacking

Status: Open.

#17 In triska/clpz;

·UWN openedon Mar 18, 2022

Bug multiple sat/1 combined with weighted_maximum/3

Status: Open.

#15 In triska/clpz;

·ghost openedon Mar 4, 2021

Bug CLP(B) and CLP(FD) dont work together

Status: Open.

#14 In triska/clpz;

·ghost openedon Mar 4, 2021

Assert domain from set of values

Status: Open.

#13 In triska/clpz;

·lewtds openedon Dec 8, 2020