Ariadne: An open tool for hybrid system analysis http://trac.parades.rm.cnr.it/ariadne/
This is my contribution to Ariadne done during my PostDoc Years in CWI. It is the implementation of an infinite grid for representing open/closed/overt sets and performing operations on them, plus some tests.