Uploaded image for project: 'core.logic'
  1. LOGIC-156

Finite Domains - Two consecutive calls to run* return different results

    Details

    • Type: Bug
    • Status: Open
    • Priority: Major
    • Resolution: Unresolved
    • Labels:
      None

      Description

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

        Attachments

          Activity

            People

            • Assignee:
              dnolen David Nolen
              Reporter:
              maurolopes MauroL
            • Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

              Dates

              • Created:
                Updated: