The Free On-line Dictionary of Computing (19 January 2023):

TK!Solver

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