ibex-team / ibex-libLinks
IBEX is a C++ library for constraint processing over real numbers.
☆78Updated this week
Alternatives and similar repositories for ibex-lib
Users that are interested in ibex-lib are comparing it to the libraries listed below
Sorting:
- An efficient implementation of the Double Description Method☆124Updated last month
- Geometric operations on polytopes of any dimension☆80Updated 5 months ago
- Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint progra…☆47Updated last week
- Bertini 2.0: The redevelopment of Bertini in C++.☆109Updated 2 months ago
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆36Updated 3 months ago
- A benchmark for Geometric Algebra libraries, library generators, and code optimizers.☆22Updated 4 years ago
- A free LDL factorisation routine☆97Updated 2 weeks ago
- A Python binding for ibex-lib☆14Updated 3 years ago
- Library for chordal matrix computations☆25Updated 7 years ago
- SymPP: A Symbolic Library that compiles itself☆13Updated 4 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆27Updated 2 years ago
- Optizelle [op-tuh-zel] is an open source software library designed to solve general purpose nonlinear optimization problems.☆67Updated 5 years ago
- Visualisation library for geometric algebra with cefpython and ganja.js☆54Updated 4 years ago
- 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
- Modeling and Programming with Gecode☆50Updated 2 years ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆70Updated this week
- Open Solver Interface☆61Updated 2 months ago
- Program Generator for Small-Scale Linear Algebra Applications☆30Updated 7 years ago
- Trust Region Subproblem Solver Library☆21Updated last year
- A Package for Automatic Differentiation of Algorithms Written in C/C++☆165Updated last month
- Simulation framework for nonsmooth dynamical systems☆178Updated last month
- Library for handling various differentiable manifolds.☆56Updated 2 months ago
- Information page for running sos solvers☆14Updated 4 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated 2 weeks ago
- Library for rigorous verification of non-linear arithmetic☆115Updated last year
- Rigorous Global Branch-and-Bound Optimizer☆24Updated 10 months ago
- ☆27Updated last year
- Visualizer for Intervals and BoxES☆21Updated 2 weeks ago
- Sequential object-oriented simPlex☆70Updated last week
- Automated Reasoning in Nonlinear Theories of Reals☆174Updated 2 months ago