Alternatives and similar repositories for ibex-lib:

Users that are interested in ibex-lib are comparing it to the libraries listed below

• cvxopt / chompack
  Library for chordal matrix computations
  ☆24Updated 6 years ago
• bertiniteam / b2
  Bertini 2.0: The redevelopment of Bertini in C++.
  ☆102Updated last month
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆33Updated last month
• osqp / qdldl
  A free LDL factorisation routine
  ☆89Updated last week
• codac-team / codac
  Codac is a library for constraint programming over reals, trajectories and sets.
  ☆41Updated this week
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆23Updated 3 months ago
• cddlib / cddlib
  An efficient implementation of the Double Description Method
  ☆115Updated last month
• felixlen / trlib
  Trust Region Subproblem Solver Library
  ☆19Updated 7 months ago
• PavelTrutman / polyopt
  Polynomial optimization problem solver. Uses relaxation to convert the problem into Semidefinite programming. Can be also used just as Se…
  ☆20Updated 7 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• tulip-control / polytope
  Geometric operations on polytopes of any dimension
  ☆77Updated 5 months ago
• cvxgrp / qcml
  A Python parser for generating Python/C/Matlab solver interfaces
  ☆43Updated 7 years ago
• coin-or / Csdp
  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
• ENSTABretagneRobotics / VIBES
  Visualizer for Intervals and BoxES
  ☆19Updated this week
• darioizzo / audi
  Header only, C++ library (and the Python pyaudi package) implementing the algebra of Taylor truncated polynomials and a few algorithms us…
  ☆75Updated 3 months ago
• coin-or / Osi
  Open Solver Interface
  ☆57Updated 3 months ago
• mcmtroffaes / pycddlib
  A Python wrapper for Komei Fukuda's cddlib.
  ☆64Updated 2 months ago
• discopt / cmr
  Combinatorial Matrix Recognition
  ☆9Updated this week
• robol / MPSolve
  Multiprecision Polynomial Solver
  ☆42Updated this week
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆79Updated 6 months ago
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆63Updated this week
• ga-developers / ga-benchmark
  A benchmark for Geometric Algebra libraries, library generators, and code optimizers.
  ☆22Updated 3 years ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆160Updated 9 months ago
• goualard-f / GAOL
  GAOL is not Just Another Interval Arithmetic Library
  ☆16Updated 2 years ago
• Argonne-National-Laboratory / PIPS
  Parallel solvers for optimization problems
  ☆75Updated 3 years ago
• scipopt / papilo
  Parallel Presolve for Integer and Linear Optimization
  ☆70Updated last month
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆68Updated 3 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆28Updated 2 years ago
• scipopt / SCIPpp
  A C++ wrapper for SCIP
  ☆22Updated last month
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago