ivan-zapreev / ariadne Goto Github PK
View Code? Open in Web Editor NEWAriadne: An open tool for hybrid system analysis. This part of the code implements an infinite grid for representing open/closed/overt sets and performing operations on those sets.