A simulation system written in Smalltalk-80. It solves Constraints using value inferenCe. Version: ThingLab II. ["The Programming Language AspeCts of ThingLab, A Constraint-Oriented Simulation Laboratory", A. Borning, ACM TOPLAS 3(4):353-387 (OCt 1981)].