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

Other Useful Business Software

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Rate This Project

User Reviews

Be the first to post a review of RSolver!

Additional Project Details

Registered

2005-03-18

Similar Business Software

ActCAD Software

ActCAD is a native dwg/dxf cad software suitable for professional 2D drafting and 3D modeling projects. ActCAD is trusted by over 30000 users in over 103 countries for more than 10 years. The interface, commands, icons, dialogs, shortcuts etc. are very much similar to other popular cad software...

See Software
Altium Designer

Altium Designer® offers a unified design environment backed by over 35 years of innovation and development. From schematic to PCB layout and interactive differential pair routing, to design documentation and a seamless ECAD/MCAD integration, Altium Designer empowers engineers with a single view...

See Software
TurboCAD

TurboCAD® 2021 Platinum is a professional 2D Drafting and 3D Solid Modeling CAD Solution for engineers, architects, manufacturers and other design professionals. It comes fully equipped with a powerful drafting palette, ACIS® solid modeling, premium photorealistic rendering, advanced...

See Software