Alternatives and similar repositories for ibex-lib:

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

• codac-team / codac
  Codac is a library for constraint programming over reals, trajectories and sets.
  ☆43Updated last week
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆33Updated this week
• cddlib / cddlib
  An efficient implementation of the Double Description Method
  ☆116Updated 2 months ago
• goualard-f / GAOL
  GAOL is not Just Another Interval Arithmetic Library
  ☆16Updated 2 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆28Updated 2 years ago
• cvxopt / chompack
  Library for chordal matrix computations
  ☆25Updated 6 years ago
• bertiniteam / b2
  Bertini 2.0: The redevelopment of Bertini in C++.
  ☆102Updated 2 months ago
• tulip-control / polytope
  Geometric operations on polytopes of any dimension
  ☆77Updated 6 months ago
• Verisig / verisig
  ☆27Updated 6 months ago
• osqp / qdldl
  A free LDL factorisation routine
  ☆91Updated last month
• oxfordcontrol / cosmo-python
  Python interface for COSMO.jl convex optimisation solver.
  ☆14Updated 3 years ago
• darioizzo / audi
  Header only, C++ library (and the Python pyaudi package) implementing the algebra of Taylor truncated polynomials and a few algorithms us…
  ☆75Updated 4 months ago
• ENSTABretagneRobotics / VIBES
  Visualizer for Intervals and BoxES
  ☆19Updated 3 weeks ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆161Updated 10 months ago
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆23Updated 4 months ago
• robol / MPSolve
  Multiprecision Polynomial Solver
  ☆42Updated last month
• 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
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆47Updated 9 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 5 months ago
• sums-of-squares / sos
  Information page for running sos solvers
  ☆14Updated 3 years ago
• mcmtroffaes / pycddlib
  A Python wrapper for Komei Fukuda's cddlib.
  ☆65Updated 3 months ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• cvxgrp / qcml
  A Python parser for generating Python/C/Matlab solver interfaces
  ☆43Updated 7 years ago
• coin-or / Osi
  Open Solver Interface
  ☆57Updated 4 months ago
• sputot / RINO
  Robust INner and Outer approximated reachability analysis
  ☆9Updated last year
• scipopt / SCIPpp
  A C++ wrapper for SCIP
  ☆22Updated 2 months ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆117Updated 4 months ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆68Updated 3 years ago
• codac-team / pyIbex
  A Python binding for ibex-lib
  ☆13Updated 3 years ago
• laffernandes / gatl
  GATL: Geometric Algebra Template Library
  ☆60Updated 2 years ago