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

Cut Data Warehouse Costs by 54%

Easily migrate from Snowflake, Redshift, or Databricks with free tools.

BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.

Start 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

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Start Free

Recommended Projects

ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
decimal.js
An arbitrary-precision Decimal type for JavaScript
fast_float
Implementation of the C++ from_chars functions for number types
Constraint Solver
Local-search based solver of Constraint Satisfaction and Optimization Problems.
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.