RSolver

Brought to you by: stefan_ratschan

Last Update: 2022-09-06

Get an email when there's a new version of RSolver

RSolver 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.

Project Activity

See All Activity >

Follow RSolver

RSolver Web Site

nel_h2

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Rate This Project

User Reviews

Be the first to post a review of RSolver!

Additional Project Details

Registered

2005-03-18

Report inappropriate content

Recommended Projects

GNOPL
GNOPL is an implementation of the constraint modeling language, OPL.
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.
MPC-HC: Media Player Classic Home Cinema
An extremely light-weight, open source media player for Windows®
CGAL
The Computational Geometry Algorithms Library