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
  ☆124Updated 3 weeks ago
• tulip-control / polytope
  Geometric operations on polytopes of any dimension
  ☆79Updated 4 months ago
• osqp / qdldl
  A free LDL factorisation routine
  ☆96Updated last month
• bertiniteam / b2
  Bertini 2.0: The redevelopment of Bertini in C++.
  ☆109Updated last month
• cvxopt / chompack
  Library for chordal matrix computations
  ☆25Updated 7 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
• pygae / pyganja
  Visualisation library for geometric algebra with cefpython and ganja.js
  ☆54Updated 4 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…
  ☆46Updated last week
• ga-developers / ga-benchmark
  A benchmark for Geometric Algebra libraries, library generators, and code optimizers.
  ☆22Updated 4 years ago
• CSCsw / ColPack
  A Graph Coloring Algorithm Package
  ☆63Updated last year
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆70Updated this week
• 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 3 years ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆120Updated 4 months ago
• codac-team / pyIbex
  A Python binding for ibex-lib
  ☆14Updated 3 years ago
• alandefreitas / sympp
  SymPP: A Symbolic Library that compiles itself
  ☆13Updated 4 years ago
• scipopt / SCIPpp
  A C++ wrapper for SCIP
  ☆26Updated last month
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆36Updated 2 months ago
• mcmtroffaes / pycddlib
  A Python wrapper for Komei Fukuda's cddlib.
  ☆67Updated 2 months ago
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆24Updated 9 months ago
• coin-or / Osi
  Open Solver Interface
  ☆60Updated last month
• ampl / coin
  COIN-OR projects with CMake build support
  ☆72Updated 2 years ago
• felixlen / trlib
  Trust Region Subproblem Solver Library
  ☆21Updated last year
• joaoleal / CppADCodeGen
  Source Code Generation for Automatic Differentiation using Operator Overloading
  ☆185Updated 2 months ago
• cvxgrp / qcml
  A Python parser for generating Python/C/Matlab solver interfaces
  ☆43Updated 8 years ago
• sums-of-squares / sos
  Information page for running sos solvers
  ☆14Updated 3 years ago
• bodono / scs-python
  Python interface for SCS
  ☆45Updated this week
• nasa / Kodiak
  Library for rigorous verification of non-linear arithmetic
  ☆115Updated last year
• coin-or / coinbrew
  COIN-OR build and installation script
  ☆34Updated last month
• sympiler / nasoq
  NASOQ:Numerically Accurate Sparsity Oriented QP Solver
  ☆73Updated 4 months ago
• EmbersArc / EiCOS
  A C++ Second Order Cone Solver based on Eigen
  ☆32Updated 4 years ago