Alternatives and similar repositories for ibex-lib

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

• cddlib / cddlib
  An efficient implementation of the Double Description Method
  ☆121Updated 6 months ago
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆69Updated 2 months ago
• osqp / qdldl
  A free LDL factorisation routine
  ☆95Updated 4 months ago
• cvxopt / chompack
  Library for chordal matrix computations
  ☆25Updated 6 years ago
• codac-team / codac
  Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint progra…
  ☆44Updated last week
• coin-or / Osi
  Open Solver Interface
  ☆57Updated 3 weeks ago
• bertiniteam / b2
  Bertini 2.0: The redevelopment of Bertini in C++.
  ☆107Updated 6 months ago
• tulip-control / polytope
  Geometric operations on polytopes of any dimension
  ☆79Updated 2 months ago
• codac-team / pyIbex
  A Python binding for ibex-lib
  ☆13Updated 3 years ago
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆35Updated 3 weeks ago
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆24Updated 7 months 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
• OptimoJoe / Optizelle
  Optizelle [op-tuh-zel] is an open source software library designed to solve general purpose nonlinear optimization problems.
  ☆67Updated 5 years ago
• felixlen / trlib
  Trust Region Subproblem Solver Library
  ☆20Updated last year
• mcmtroffaes / pycddlib
  A Python wrapper for Komei Fukuda's cddlib.
  ☆67Updated 2 weeks ago
• scipopt / SCIPpp
  A C++ wrapper for SCIP
  ☆24Updated 6 months ago
• pygae / pyganja
  Visualisation library for geometric algebra with cefpython and ganja.js
  ☆54Updated 4 years ago
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆69Updated last week
• siconos / siconos
  Simulation framework for nonsmooth dynamical systems
  ☆178Updated 3 weeks ago
• sums-of-squares / sos
  Information page for running sos solvers
  ☆14Updated 3 years ago
• CSCsw / ColPack
  A Graph Coloring Algorithm Package
  ☆63Updated last year
• cvxgrp / qcml
  A Python parser for generating Python/C/Matlab solver interfaces
  ☆43Updated 7 years ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆120Updated 2 months ago
• ampl / coin
  COIN-OR projects with CMake build support
  ☆73Updated 2 years ago
• joaoleal / CppADCodeGen
  Source Code Generation for Automatic Differentiation using Operator Overloading
  ☆182Updated 3 months ago
• JuliaRobotics / LCMCore.jl
  Low-level Julia bindings for the LCM communications library
  ☆16Updated 4 years ago
• JuliaRobotics / RigidBodySim.jl
  Simulation and visualization of articulated rigid body systems in Julia
  ☆73Updated 5 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆28Updated 2 years ago
• alandefreitas / sympp
  SymPP: A Symbolic Library that compiles itself
  ☆13Updated 4 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆51Updated 2 years ago