We're updating the issue view to help you get more done. 

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

Description

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

Environment

None

Status

Assignee

David Nolen

Reporter

MauroL

Labels

None

Approval

None

Patch

None

Priority

Major