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
• cvxopt / chompack
  Library for chordal matrix computations
  ☆25Updated 6 years ago
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆34Updated last month
• ENSTABretagneRobotics / VIBES
  Visualizer for Intervals and BoxES
  ☆20Updated last month
• tulip-control / polytope
  Geometric operations on polytopes of any dimension
  ☆79Updated 2 weeks ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆28Updated 2 years ago
• goualard-f / GAOL
  GAOL is not Just Another Interval Arithmetic Library
  ☆17Updated 2 years ago
• cddlib / cddlib
  An efficient implementation of the Double Description Method
  ☆118Updated 4 months ago
• osqp / qdldl
  A free LDL factorisation routine
  ☆92Updated 2 months ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆163Updated 11 months ago
• Verisig / verisig
  ☆27Updated 8 months ago
• JuliaRobotics / LCMCore.jl
  Low-level Julia bindings for the LCM communications library
  ☆15Updated 4 years ago
• alandefreitas / sympp
  SymPP: A Symbolic Library that compiles itself
  ☆13Updated 4 years ago
• sums-of-squares / sos
  Information page for running sos solvers
  ☆14Updated 3 years ago
• sputot / RINO
  Robust INner and Outer approximated reachability analysis
  ☆9Updated last year
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆118Updated 3 weeks ago
• sisl / Spot.jl
  Julia wrapper for the Spot LTL and automata manipulation library
  ☆17Updated 11 months ago
• laffernandes / gatl
  GATL: Geometric Algebra Template Library
  ☆60Updated 3 years ago
• coin-or / Osi
  Open Solver Interface
  ☆58Updated 3 weeks ago
• felixlen / trlib
  Trust Region Subproblem Solver Library
  ☆19Updated 10 months ago
• VerifiableRobotics / slugs
  SmalL bUt Complete GROne Synthesizer
  ☆41Updated 9 months ago
• JuliaRobotics / MeshCatMechanisms.jl
  3D Visualization of mechanisms and URDFs using MeshCat.jl and RigidBodyDynamics.jl
  ☆40Updated 6 months ago
• scipopt / SCIPpp
  A C++ wrapper for SCIP
  ☆23Updated 4 months ago
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆64Updated last month
• oxfordcontrol / cosmo-python
  Python interface for COSMO.jl convex optimisation solver.
  ☆14Updated 3 years ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆69Updated 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
• scipopt / SCIP-SDP
  mixed integer semidefinite programming plugin for SCIP
  ☆14Updated 9 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆49Updated 7 months ago
• codac-team / pyIbex
  A Python binding for ibex-lib
  ☆13Updated 3 years ago