ibex-team / ibex-lib
IBEX is a C++ library for constraint processing over real numbers.
☆71Updated this week
Alternatives and similar repositories for ibex-lib:
Users that are interested in ibex-lib are comparing it to the libraries listed below
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆33Updated 2 weeks ago
- Codac is a library for constraint programming over reals, trajectories and sets.☆40Updated this week
- An efficient implementation of the Double Description Method☆113Updated 3 weeks ago
- Library for chordal matrix computations☆23Updated 6 years ago
- Geometric operations on polytopes of any dimension☆77Updated 4 months ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆27Updated last year
- Trust Region Subproblem Solver Library☆19Updated 6 months ago
- Bertini 2.0: The redevelopment of Bertini in C++.☆98Updated 3 weeks ago
- Robust INner and Outer approximated reachability analysis☆9Updated last year
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆64Updated last week
- Visualizer for Intervals and BoxES☆19Updated last week
- Rigorous Global Branch-and-Bound Optimizer☆23Updated 2 months ago
- A benchmark for Geometric Algebra libraries, library generators, and code optimizers.☆22Updated 3 years ago
- Python interface for COSMO.jl convex optimisation solver.☆14Updated 3 years ago
- A free LDL factorisation routine☆87Updated this week
- GAOL is not Just Another Interval Arithmetic Library☆16Updated 2 years ago
- URDF and meshes for the Boston Dynamics Atlas robot (v5)☆16Updated 5 years ago
- Sequential object-oriented simPlex☆62Updated last week
- Multiprecision Polynomial Solver☆42Updated 2 years ago
- Automated Reasoning in Nonlinear Theories of Reals☆160Updated 8 months ago
- HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models☆15Updated 4 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.☆58Updated 2 years ago
- Information page for running sos solvers☆14Updated 3 years ago
- Polynomial optimization problem solver. Uses relaxation to convert the problem into Semidefinite programming. Can be also used just as Se…☆20Updated 7 years ago
- GATL: Geometric Algebra Template Library☆58Updated 2 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 4 months ago
- Library for computing with multidimensional functions☆49Updated last year
- ☆52Updated this week
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Parallel Presolve for Integer and Linear Optimization☆40Updated 3 years ago