Constraint solver problem

In reply to sam497:

constraint size { inst.size() inside {[80:100]};}
constraint size is 80 to 100.