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
1154
September 11, 2021
clpBNR: B or B
Pack
27
739
October 13, 2022
clpBNR: integer division
Predicate
16
1539
August 26, 2021
Mutually exclusive clp(BNR) constraints
Pack
clpbnr
5
62
April 12, 2025
Comparing CLPR with CLPBNR for constraints on reals
General
discussion
5
726
September 23, 2020