This is an old revision of the document!
Numerical Transition Systems Library
The NTS-lib consists of a language specification (NTL), a parser for the language, abstract syntax tree classes, and a pretty-printer. The NTS-lib provides a common exchange format for numerical program benchmarks.
- The NTL language specification: pdf
- Java distribution: to be released soon
- Ocaml distribution: to be released soon