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/