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: