TK Solver

TK Solver
Other namesTK!Solver
Developer(s)Software Arts; Universal Technical Systems
Initial release1982
Stable release
6.0 / 2019
Operating systemWindows
Available inEnglish
TypeMathematics/engineering
Licenseproprietary by subscription only
Websitewww.uts.com

TK Solver (originally TK!Solver)[1] is a mathematical modeling and problem solving software system based on a declarative, rule-based language, commercialized by Universal Technical Systems, Inc.[2]

  1. ^ Erik Sandberg-Diment (August 2, 1983). "New software for science and engineering". The New York Times. Retrieved July 23, 2019.
  2. ^ "Briefs: Lotus sold its TKSolver software program to Universal Technical Systems". The New York Times. January 1, 1986.