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

Find Hidden Risks in Windows Task Scheduler

Free diagnostic script reveals configuration issues, error patterns, and security risks. Instant HTML report.

Windows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.

Download Free Tool

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

$Brick\Math$

Brick\Math
Arbitrary-precision arithmetic library for PHP
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
Possession POS
POS system with Sales, Inventory, Purchasing, Receiving and Transfers
fast_float
Implementation of the C++ from_chars functions for number types
escm - embedded Scheme preprocessor
Escm is a text file processor that expands embedded Scheme expressions in the input file. Unlike other text-embedded language processors, escm does not depend on a particular Scheme implementation---you can use your favorite Scheme.