From Numerical Transition Systems
Revision as of 17:15, 1 February 2013 by Radu iosif (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The NTS benchmarks are currently organized in this GIT repository.

To add more benchmarks, you can fork a new branch from it, and issue a pull request.

Please contact <radu dot iosif at imag dot fr> and <pierre dot ganty at imdea dot org> in case something goes wrong.