SWI-Prolog
clpBNR: bug in boolean constraints
Help!
Predicate
swi
August 29, 2021, 8:03pm
2
sure, if you make a new github branch with the patches I can use that or I can make changes locally.
show post in topic
Related Topics
Topic
Replies
Views
Activity
clpBNR: difference constraint on reals
Help!
30
1065
September 11, 2021
clpBNR: B or B
Pack
27
671
October 13, 2022
clpBNR: integer division
Predicate
16
1362
August 26, 2021
Comparing CLPR with CLPBNR for constraints on reals
General
discussion
5
657
September 23, 2020
{X + Y >= 1} fails - bug?
Help!
clpr
1
364
March 31, 2022