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
Comparing CLPR with CLPBNR for constraints on reals
General
discussion
5
737
September 23, 2020
clpBNR: difference constraint on reals
Help!
30
1173
September 11, 2021
Debugging constraints
Discussion
19
981
February 16, 2021
clpBNR: B or B
Pack
27
750
October 13, 2022
clpBNR: integer division
Predicate
16
1564
August 26, 2021