Source : Free On-Line Dictionary of Computing

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