English Computing Dictionary
◊ TK!SOLVER
TK!Solver
Software Arts 1983. Numerical constraint-oriented language.
"The TK!Solver Book", M. Konopasek et al, McGraw-Hill 1984.
 tk  tk  tk!solver  tk-90x  tk-95