HSolverFREEHSolver 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.Read More Rating:
RSolver 2FREERSolver is a program and library for solving quantified inequality constraints over the real numbers. Problems like projecting the solution set of a set of inequality constraints to two dimensions can be directly formulated as such constraints.Read More Rating:
Interval Arithmetic Libs 0.0FREEThe goal of this project is to develop open-source libraries for interval arithmetic and interval constraints in a wide variety of languages and for a wide variety of platforms. Demos and documentation will also be developed.provided.Read More Rating:
TOP DOWNLOADSlast weekTempoVPN21nthLink12Live Video Call - Girls Random Video Chat app9Radmin VPN8Snap VPN - VPN Master6Leaf VPN5Cyberpunk Icons & KWGT Widget5 View All Top Downloads
LATEST ADDITIONSRecently Added SoftwareMobilo Deals2026-11-04GFort2026-11-04Navitel Navigator United Kingdom2026-11-04Aussie Arcade2026-11-04Doce Rio2026-11-04Web Rádio IEV2026-11-04Spider Penguin2026-11-04 View All Top Additions
LATEST UPDATESRecently Updated SoftwareMobilo Deals2026-11-04GFort2026-11-04Navitel Navigator United Kingdom2026-11-04Aussie Arcade2026-11-04Doce Rio2026-11-04Web Rádio IEV2026-11-04Spider Penguin2026-11-04 View All Updates
