TK!solver

from The Free On-line Dictionary of Computing (8 July 2008)

TK!Solver

   Software Arts 1983.  Numerical constraint-oriented language.
   "The TK!Solver Book", M. Konopasek et al, McGraw-Hill 1984.