|
Struggling with repeated floor division and clause matching in CLPFD
|
|
3
|
81
|
August 28, 2025
|
|
Bug in element/3?
|
|
4
|
105
|
July 1, 2025
|
|
CLPFD max_member/2
|
|
5
|
134
|
December 2, 2024
|
|
Why is my code so slow?
|
|
5
|
131
|
August 12, 2024
|
|
CLP(FD) labeling/2 predicate
|
|
3
|
325
|
September 15, 2023
|
|
CLP Optimizations Solved! Should I have known?
|
|
8
|
512
|
June 13, 2023
|
|
Efficiently require a specific cardinality in clpfd
|
|
1
|
338
|
June 6, 2023
|
|
List_to_fdset/2
|
|
2
|
560
|
November 6, 2022
|
|
I need help with my homework
|
|
0
|
407
|
April 8, 2022
|
|
Implementing a `range` predicate
|
|
7
|
1384
|
March 6, 2022
|
|
Use of SWI's clpfd with labeling option min versus GNU's fd_minimize
|
|
3
|
710
|
December 17, 2021
|
|
Clpfd - when the 'label()' is necessary? - newbie question
|
|
8
|
1591
|
August 24, 2021
|
|
Specifying a simple puzzle in CLP
|
|
4
|
2327
|
May 1, 2021
|
|
Some CLP(FD) shenanigans with indexing predicates
|
|
0
|
467
|
December 5, 2020
|
|
Clpfd: Declare variables dynamically?
|
|
7
|
1941
|
November 19, 2020
|
|
Clpfd: "not in" constraint
|
|
1
|
681
|
November 18, 2020
|
|
Interesting results with library(clpfd)
|
|
6
|
599
|
August 18, 2020
|
|
Don't understand syntax of clpfd cryptarithmetic puzzle example
|
|
4
|
1127
|
January 10, 2020
|
|
How do I get a prolog number from this clpfd code
|
|
1
|
574
|
December 18, 2019
|