A SimulationSyStem written in Smalltalk-80. It SolveSconStraintS 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)].