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
1145
September 11, 2021
clpBNR: B or B
Pack
27
738
October 13, 2022
clpBNR: integer division
Predicate
16
1518
August 26, 2021
Comparing CLPR with CLPBNR for constraints on reals
General
discussion
5
716
September 23, 2020
{X + Y >= 1} fails - bug?
Help!
clpr
1
393
March 31, 2022