stephane-caron / pyfmeLinks
Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy
☆11Updated 5 years ago
Alternatives and similar repositories for pyfme
Users that are interested in pyfme are comparing it to the libraries listed below
Sorting:
- Riemannian Interior Point Methods (RIPM) for Constrained Optimization on Manifolds☆14Updated last year
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆56Updated last week
- Software Platform for solving and manipulating multiparametric programs in Python☆42Updated 3 months ago
- An efficient implementation of the Double Description Method☆120Updated 5 months ago
- A next-gen SQP & barrier solver for nonlinearly constrained optimization☆355Updated this week
- Utilities for parsing MPS and SMPS file formats.☆21Updated last year
- Parallel Presolve for Integer and Linear Optimization☆73Updated 3 weeks ago
- Parallel Presolve for Integer and Linear Optimization☆40Updated 4 years ago
- Minotaur Toolkit for Mixed-Integer Nonlinear Optimization☆78Updated last week
- Python module for polyhedral geometry☆74Updated 3 months ago
- A Python wrapper for Komei Fukuda's cddlib.☆67Updated 2 weeks ago
- Geometric operations on polytopes of any dimension☆79Updated last month
- Mathematical Modeling for Optimization and Machine Learning☆154Updated 9 months ago
- An active set-based NLP solver☆19Updated last year
- A solver for nonlinear programming with GPU support☆199Updated this week
- Mathematical Programming in JAX☆87Updated last month
- Fast conic optimization in C☆27Updated 11 months ago
- Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.☆209Updated this week
- Differentiation through cone programs☆101Updated 5 months ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆14Updated last month
- ☆32Updated 3 weeks ago
- A solver for mixed-integer nonlinear optimization problems☆121Updated this week
- Combinatorial Matrix Recognition☆11Updated last week
- Cone program refinement☆10Updated 5 years ago
- Signal temporal logic (STL) formulas and robustness in Julia☆14Updated 6 months ago
- A trust-region interior-point method for general nonlinear programing problems (GSoC 2017).☆37Updated 7 years ago
- Maros and Meszaros Convex QP test problems in MAT format☆13Updated 11 years ago
- GPU-based first-order solver for linear programming.☆81Updated 5 months ago
- Quadratic Objective Conic Optimizer☆34Updated last week
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated 11 months ago