ibex-team / ibex-lib
IBEX is a C++ library for constraint processing over real numbers.
☆76Updated this week
Alternatives and similar repositories for ibex-lib:
Users that are interested in ibex-lib are comparing it to the libraries listed below
- Codac is a library for constraint programming over reals, trajectories and sets.☆43Updated this week
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆33Updated 3 weeks ago
- A Python binding for ibex-lib☆13Updated 3 years ago
- An efficient implementation of the Double Description Method☆118Updated 3 months ago
- GAOL is not Just Another Interval Arithmetic Library☆16Updated 2 years ago
- Visualizer for Intervals and BoxES☆20Updated 2 weeks ago
- ☆52Updated last week
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Geometric operations on polytopes of any dimension☆79Updated 7 months ago
- Library for chordal matrix computations☆25Updated 6 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Updated 2 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 2 years ago
- A Graph Coloring Algorithm Package☆62Updated last year
- A free LDL factorisation routine☆92Updated last month
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆67Updated 3 months ago
- Trust Region Subproblem Solver Library☆19Updated 9 months ago
- A benchmark for Geometric Algebra libraries, library generators, and code optimizers.☆22Updated 3 years ago
- A Package for Automatic Differentiation of Algorithms Written in C/C++☆156Updated last week
- Rigorous Global Branch-and-Bound Optimizer☆23Updated 4 months ago
- Automated Reasoning in Nonlinear Theories of Reals☆162Updated 11 months ago
- C++ library of symbolic algebra data structures for use in Groebner basis computation.☆24Updated 4 years ago
- Clifford algebra for CAS Maxima☆16Updated 3 months ago
- Robust INner and Outer approximated reachability analysis☆9Updated last year
- Python interface for COSMO.jl convex optimisation solver.☆14Updated 3 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Exact real arithmetic in C++☆50Updated 4 years ago
- A Python wrapper for Komei Fukuda's cddlib.☆66Updated 3 months ago
- Specify and synthesize systems using symbolic algorithms☆48Updated 6 months ago
- Header only, C++ library (and the Python pyaudi package) implementing the algebra of Taylor truncated polynomials and a few algorithms us…☆75Updated 5 months ago
- Low-level Julia bindings for the LCM communications library☆15Updated 4 years ago