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
  • C++ distribution: to be released soon