The Free On-line Dictionary of Computing (30 December 2018):

TK!Solver

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