tnelson/Margrave — Issue #78: Kodkod: upper/lower bounds
Author: tnelson
Created: 2011-10-17 15:33:04+00:00
State: open
Labels: FOR-3.1

Intelligent population of upper and lower bounds before invoking Kodkod. (See Tim's writeup for details.)