HSolver

Brought to you by: stefan_ratschan

Last Update: 2017-10-23

Get an email when there's a new version of HSolver

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.

Project Activity

See All Activity >

Follow HSolver

HSolver Web Site

Other Useful Business Software

Resolve Support Tickets 2x Faster with ServoDesk

Full access to Enterprise features. No credit card required.

What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.

Try ServoDesk for free

Rate This Project

User Reviews

Be the first to post a review of HSolver!

Additional Project Details

Registered

2006-03-03

Report inappropriate content

Recommended Projects

Double Conversion
Efficient binary-decimal & decimal-binary conversion routines for IEEE
Constraint Solver
Local-search based solver of Constraint Satisfaction and Optimization Problems.
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
IEEE Calculator
IEEE Flaoting point Calculator is a conversion tool which converts the 32/64 bit Hex values into a equivalent Floating point value also converts the Decimal/Floating point value to its equivalent Hex representation.
Possession POS
POS system with Sales, Inventory, Purchasing, Receiving and Transfers