Unit Solver
Classes
TSolver -
Functions
Types
TSolveState
Constants
Variables
TSolveState = (ssUnknown, ssBusy, ssSolved, ssStumped);