List of software tools

Informatics Europe Higher Education Data Portal by franziska_hauffe on January 10, 2020
RERS Challenge 2019 @ TOOLympics by Jeroen Meijer on January 30, 2019
LTSmin 3 released by Jeroen Meijer on August 7, 2018
s(ASP): A Query Driven Predicate Answer Set Programming System by Gopal Gupta on April 1, 2016
Parma Polyhedra Library 0.11 by [Deactivated account] on August 16, 2010
lcc-win by Jacob Navia on March 2, 2010 (edited on April 8, 2010)
Tom by Pierre-Etienne Moreau on June 15, 2004 (edited on April 8, 2010)