ibex-team / ibex-libLinks
IBEX is a C++ library for constraint processing over real numbers.
☆85Updated 2 months ago
Alternatives and similar repositories for ibex-lib
Users that are interested in ibex-lib are comparing it to the libraries listed below
Sorting:
- An efficient implementation of the Double Description Method☆130Updated 3 months ago
- Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint progra…☆49Updated 2 weeks ago
- Geometric operations on polytopes of any dimension☆83Updated 7 months ago
- Bertini 2.0: The redevelopment of Bertini in C++.☆109Updated 4 months ago
- A free LDL factorisation routine☆98Updated last month
- Library for chordal matrix computations☆25Updated 7 years ago
- This is the working repository for the CSDP project. CSDP is a solver for semidefinite programming problems. It is a COIN-OR project.☆60Updated 3 years ago
- A benchmark for Geometric Algebra libraries, library generators, and code optimizers.☆22Updated 4 years ago
- A Python binding for ibex-lib☆14Updated 3 years ago
- Trust Region Subproblem Solver Library☆22Updated last year
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆37Updated last month
- Simulation framework for nonsmooth dynamical systems☆181Updated 3 months ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆70Updated this week
- SymPP: A Symbolic Library that compiles itself☆13Updated 5 years ago
- Visualisation library for geometric algebra with cefpython and ganja.js☆54Updated 4 years ago
- Low-level Julia bindings for the LCM communications library☆16Updated 4 years ago
- Visualizer for Intervals and BoxES☆21Updated 2 weeks ago
- RobOptim Trajectory: trajectories, splines, and more.☆19Updated 7 years ago
- ☆18Updated 9 years ago
- Source Code Generation for Automatic Differentiation using Operator Overloading☆190Updated 4 months ago
- RobOptim Core Layer: interface and basic mathematical tools☆65Updated 9 months ago
- Gaalop (Geometic Algebra Algorithms Optimizer) is a software to compile and optimize geometric algebra (GA) expressions into high-level p…☆113Updated 2 months ago
- Open Solver Interface☆62Updated last week
- COIN-OR projects with CMake build support☆72Updated 2 years ago
- Information page for running sos solvers☆14Updated 4 years ago
- Kinematic calibration for robots using motion capture data☆20Updated 5 years ago
- qpDUNES - an implementation of the DUal NEwton Strategy for quadratic programming☆25Updated 9 years ago
- A Python parser for generating Python/C/Matlab solver interfaces☆43Updated 8 years ago
- SuiteSparse: a suite of sparse matrix packages by @DrTimothyAldenDavis et al. with native CMake support☆52Updated 2 weeks ago
- A geodesic interior-point method for symmetric cone optimization☆18Updated 2 years ago