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.
| Attributes | Values |
|---|---|
| rdfs:comment |
|
| foaf:name |
|
| foaf:homepage | |
| developer | |
| latest release version |
|
| is product of |