The "/v1.2/HouseShare Sou..ouseShare Source.zip" file could not be found or is not available. Please select another file.

HSolver

Add a Review
1 Download (This Week)
Download hsolver-3_1.tar.bz2
Browse All Files

Description

HSolver is a program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages its correctness does not depend on floating point rounding errors.

HSolver Web Site
Write a Review

User Reviews

Be the first to post a review of HSolver!

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.