relevant-var? logic incorrectly discards a vars constraint set

Description

Environment

None

Activity

David Nolen
January 8, 2013 at 1:04 AM

Details

Assignee

Reporter

Priority

Created January 4, 2013 at 5:01 PM
Updated March 18, 2013 at 1:10 AM