fefrei / hypro

HyPro: A C++ state set representation library for the analysis of hybrid systems

https://hypro.github.io/hypro/html/

Geek Repo

Github PK Tool

Documentation

Doxygen documentation
Pdf manual

Project homepage (with benchmark collection)

https://ths.rwth-aachen.de/research/projects/hypro/

Current TravisCi build state:

Current Coveralls state:

Docker Image:

https://hub.docker.com/r/hypro/hypro/

About

HyPro: A C++ state set representation library for the analysis of hybrid systems

https://hypro.github.io/hypro/html/

Other

Languages

Language:C++ 46.7%Language:C 36.0%Language:TeX 7.2%Language:Shell 3.5%Language:AMPL 2.7%Language:CMake 2.6%Language:Makefile 1.0%Language:ANTLR 0.2%Language:Batchfile 0.0%Language:M4 0.0%Language:C# 0.0%Language:Objective-C 0.0%