This is an old revision of the document!
A PCRE internal error occured. This might be caused by a faulty plugin
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: {{:ntslib.pdf|pdf}} * Java distribution: to be released soon * Ocaml distribution: to be released soon * C++ distribution: to be released soon