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 be directly formulated as such constraints.
VERSION HISTORY
- Version rsolver posted on 2011-01-21
Several fixes and updates - Version N/A posted on 2011-01-21
Program Details
- Category: Education > Other
- Publisher: rsolver.sf.net
- License: Free
- Price: N/A
- Version: Array
- Platform: windows