RSolver

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes

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