Sicstus CLPFD labeling time discrepancy
I was using Sicstus Prolog to solve Advent of Code 2024 Day 13, and I came across a surprising discrepancy between labeling times between different instances of the same constraint model. I have:
Sicstus CLPFD labeling time discrepancy
I was using Sicstus Prolog to solve Advent of Code 2024 Day 13, and I came across a surprising discrepancy between labeling times between different instances of the same constraint model. I have: