constraints reach generate\~
contraintToLogic compiles
constraints are assumed
missing files
check contraints
state seems feasible now
begin able to verify State
reasoning about state\'s value
Merge pull request #289 from ucsd-progsys/constraints

Logical Constraints