Metadata-Version: 1.1
Name: intrepyd
Version: 0.5.2
Summary: Intrepyd Model Checker
Home-page: http://github.com/formalmethods/intrepyd
Author: Roberto Bruttomesso
Author-email: roberto.bruttomesso@gmail.com
License: BSD-3-Clause
Download-URL: http://github.com/formalmethods/intrepyd/archive/0.5.2.tar.gz
Description: Intrepyd is a Model Checker for Lustre and Simulink, that can deal with machine-precise types (including floating-points). It is based on SMT-solving (Microsoft Z3). More at https://formalmethods.github.io.
Platform: Windows
Platform: Linux
