TK Solver (originally TK!Solver) is a mathematical modeling and problem solving software system based on a declarative, rule-based language, commercialized by Universal Technical Systems, Inc.
Read more about TK Solver: History, Core Technology, Rules, Variables and Units, Problem-solving, Data Display and Sharing, Alternatives