Welcome! Please see the About page for a little more info on how this works.

0 votes
in core.logic by

Calling run* twice with the same input may return different results for no apparent reason.
See attachment.

4 Answers

0 votes
by

Comment made by: dnolen

The problematic code incorrectly uses finite domain operations on fresh variables that have not be assigned domains. Can we get an updated version of the problematic code that demonstrate the issue after the corrections?

0 votes
by

Comment made by: maurolopes

Sure. I have just added a new code version with finite domains assigned to each variable that is involved in an fd operation. The problem persists.

0 votes
by

Comment made by: dnolen

This issue is likely related to LOGIC-162

0 votes
by
Reference: https://clojure.atlassian.net/browse/LOGIC-156 (reported by maurolopes)
...