Alternatives and similar repositories for ibex-lib:

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

• tulip-control / polytope
  Geometric operations on polytopes of any dimension
  ☆76Updated 3 months ago
• codac-team / codac
  Codac is a library for constraint programming over reals, trajectories and sets.
  ☆40Updated this week
• cvxopt / chompack
  Library for chordal matrix computations
  ☆23Updated 6 years ago
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆31Updated 4 months ago
• cddlib / cddlib
  An efficient implementation of the Double Description Method
  ☆113Updated last month
• goualard-f / GAOL
  GAOL is not Just Another Interval Arithmetic Library
  ☆15Updated 2 years ago
• JuliaRobotics / IncrementalInference.jl
  Clique recycling non-Gaussian (multi-modal) factor graph solver; also see Caesar.jl.
  ☆72Updated last month
• JuliaRobotics / DistributedFactorGraphs.jl
  Abstraction layer for spanning factor graphs over various technologies
  ☆21Updated last month
• felixlen / trlib
  Trust Region Subproblem Solver Library
  ☆19Updated 5 months ago
• coin-or / Osi
  Open Solver Interface
  ☆55Updated last month
• bertiniteam / b2
  Bertini 2.0: The redevelopment of Bertini in C++.
  ☆95Updated last week
• ENSTABretagneRobotics / VIBES
  Visualizer for Intervals and BoxES
  ☆19Updated last month
• sums-of-squares / sos
  Information page for running sos solvers
  ☆14Updated 3 years ago
• codac-team / pyIbex
  A Python binding for ibex-lib
  ☆13Updated 2 years ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆68Updated 3 years 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
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆27Updated last year
• tkoolen / AtlasRobot.jl
  URDF and meshes for the Boston Dynamics Atlas robot (v5)
  ☆16Updated 4 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 last month
• JuliaReach / Reachability.jl
  Reachability and Safety of Nondeterministic Dynamical Systems
  ☆50Updated 3 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 2 months ago
• Verisig / verisig
  ☆27Updated 3 months ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• osqp / qdldl
  A free LDL factorisation routine
  ☆83Updated 2 weeks ago
• JuliaRobotics / LCMCore.jl
  Low-level Julia bindings for the LCM communications library
  ☆15Updated 3 years ago
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆22Updated 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.
  ☆57Updated 2 years ago
• bluescarni / obake
  A C++20 library for the symbolic manipulation of sparse polynomials & co.
  ☆23Updated 3 months ago
• blegat / SwitchOnSafety.jl
  Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
  ☆22Updated 5 months ago