realpaver

RealPaver is a modeling language for solving mixed-integer nonlinear constraint systems.

Project Activity

See All Activity >

License

BSD License

Follow realpaver

realpaver Web Site

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

User Reviews

Be the first to post a review of realpaver!

Additional Project Details

Operating Systems

BSD, Desktop Operating Systems, Linux, Solaris

Languages

English

Intended Audience

Education, Science/Research

Programming Language

Related Categories

C Software Development Software, C Artificial Intelligence Software, C Mathematics Software

Registered

2004-08-04

Similar Business Software

AMPL

AMPL is a powerful and intuitive modeling language designed to represent and solve complex optimization problems. It enables users to formulate mathematical models in a syntax that closely mirrors algebraic notation, facilitating a clear and concise representation of variables, objectives, and...

See Software
Solver SDK

Use optimization and simulation models in your desktop, Web or mobile application. Use the same high-level objects (like Problem, Solver, Variable and Function), collections, properties and methods across different programming languages. The same object-oriented API is exposed "over the wire"...

See Software
Model Predictive Control Toolbox

Model Predictive Control Toolbox™ provides functions, an app, Simulink® blocks, and reference examples for developing model predictive control (MPC). For linear problems, the toolbox supports the design of implicit, explicit, adaptive, and gain-scheduled MPC. For nonlinear problems, you can...

See Software
OpenModelica

OpenModelica is an open source modeling and simulation environment based on the Modelica language, intended for industrial and academic use. Its development is supported by the Open Source Modelica Consortium (OSMC), a non-profit organization. The platform aims to provide a comprehensive...

See Software
Artelys Knitro

Artelys Knitro is a leading solver for large-scale nonlinear optimization problems, offering a suite of advanced algorithms and features to address complex challenges across various industries. It provides four state-of-the-art algorithms: two interior-point/barrier methods and two...

See Software
LM-Kit.NET

LM-Kit.NET is a cutting-edge, high-level inference SDK designed specifically to bring the advanced capabilities of Large Language Models (LLM) into the C# ecosystem. Tailored for developers working within .NET, LM-Kit.NET provides a comprehensive suite of powerful Generative AI tools, making...

See Software