passagemath / lrslib
Reverse search algorithm for vertex enumeration/convex hull problems by David Avis (http://cgm.cs.mcgill.ca/~avis/C/lrs.html). Git history on branch "upstream" created from release archives. Branch "autoconfiscation" adds autotools build system by Matthias Köppe.
☆14Updated 3 years ago
Alternatives and similar repositories for lrslib:
Users that are interested in lrslib are comparing it to the libraries listed below
- Reachability and Safety of Nondeterministic Dynamical Systems☆50Updated 3 years ago
- Sum of Squares Programming for Julia☆122Updated this week
- A Python wrapper for Komei Fukuda's cddlib.☆64Updated 2 months ago
- Repository containing supplementary materials and code for "JuMP: A Modeling Language for Mathematical Optimization"☆26Updated 9 years ago
- Analysis and design tools for control systems.☆11Updated 5 years ago
- Julia package that wraps the SARSOP software for solving POMDPs/MDPs☆14Updated 8 months ago
- A collection of special mathematical functions☆35Updated 10 months ago
- Source of MatlabCompat.jl☆30Updated 5 years ago
- Geometric operations on polytopes of any dimension☆77Updated 5 months ago
- Bertini 2.0: The redevelopment of Bertini in C++.☆101Updated last month
- Python wrapper for selected SLICOT routines, notably including solvers for Riccati, Lyapunov and Sylvester equations.☆30Updated 7 years ago
- Semidefinite programming optimization solver☆93Updated 9 months ago
- Combinatorial Matrix Recognition☆9Updated 3 weeks ago
- State space modeling for Julia☆38Updated 6 years ago
- Interface to the Mosek solver in Julia☆52Updated 3 weeks ago
- This library generates graph layouts using the TikZ graph layout package.☆78Updated 2 years ago
- ☆42Updated 4 years ago
- Python interface for COSMO.jl convex optimisation solver.☆14Updated 3 years ago
- Julia interface to the GNU Scientific Library (GSL)☆100Updated 3 months ago
- Julia interface to GAlgebra via PyCall☆15Updated this week
- Line search methods for optimization and root-finding☆129Updated 4 months ago
- Systems definitions in Julia☆43Updated last month
- Rigorous function approximation using Taylor models in Julia☆64Updated last month
- Assorted basic Ordinary Differential Equation solvers for scientific machine learning (SciML). Deprecated: Use DifferentialEquations.jl i…☆104Updated 10 months ago
- Simulation and visualization of articulated rigid body systems in Julia☆72Updated 4 years ago
- Lie groups and algebra with some quaternions☆19Updated 5 months ago
- A Julia interface for the SCS conic programming solver☆82Updated last week
- Basic interface for manifolds in Julia☆86Updated this week
- A development environment for robust and global optimization☆148Updated 3 months ago
- mixed integer semidefinite programming plugin for SCIP☆14Updated 7 months ago