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

Earn up to 16% annual interest with Nexo.

More flexibility. More control.

Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

Rate This Project

User Reviews

Be the first to post a review of HSolver!

Additional Project Details

Registered

2006-03-03

Report inappropriate content

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started Free

Recommended Projects

ABsolver
A constraint solver framework.
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
Possession POS
POS system with Sales, Inventory, Purchasing, Receiving and Transfers
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.
floating point arithmetic library
directed rounding, rational arithmetic and arbitrary precision arithmetic based on regular continued fraction expansions Moved to https://exactarithmetic.dev.java.net/