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

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try 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

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Recommended Projects

DragonBreath Engine
The DragonBreath Engine is a constraint solver based on local search. It features real-time computation, handling of dynamics, structural constraint satisfaction, and an easy way to include domain-specific knowledge.
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
Possession POS
POS system with Sales, Inventory, Purchasing, Receiving and Transfers
decimal.js
An arbitrary-precision Decimal type for JavaScript
fast_float
Implementation of the C++ from_chars functions for number types