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)].