mircodemarchi / ariadne Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ariadne-cps/ariadne
C++ framework for rigorous computation on cyber-physical systems
Home Page: http://www.ariadne-cps.org
License: GNU General Public License v3.0