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

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

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.

Start Free

Recommended Projects

$Brick\Math$

Brick\Math
Arbitrary-precision arithmetic library for PHP
$Brick\Money$

Brick\Money
A money and currency library for PHP
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