ibex-team / ibex-libLinks
IBEX is a C++ library for constraint processing over real numbers.
☆76Updated 3 weeks ago
Alternatives and similar repositories for ibex-lib
Users that are interested in ibex-lib are comparing it to the libraries listed below
Sorting:
- Codac is a library for constraint programming over reals, trajectories and sets.☆43Updated last week
- Library for chordal matrix computations☆25Updated 6 years ago
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆34Updated last month
- Visualizer for Intervals and BoxES☆20Updated last month
- Geometric operations on polytopes of any dimension☆79Updated 2 weeks ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Updated 2 years ago
- GAOL is not Just Another Interval Arithmetic Library☆17Updated 2 years ago
- An efficient implementation of the Double Description Method☆118Updated 4 months ago
- A free LDL factorisation routine☆92Updated 2 months ago
- Automated Reasoning in Nonlinear Theories of Reals☆163Updated 11 months ago
- ☆27Updated 8 months ago
- Low-level Julia bindings for the LCM communications library☆15Updated 4 years ago
- SymPP: A Symbolic Library that compiles itself☆13Updated 4 years ago
- Information page for running sos solvers☆14Updated 3 years ago
- Robust INner and Outer approximated reachability analysis☆9Updated last year
- Temporal Logic Planning toolbox☆118Updated 3 weeks ago
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 11 months ago
- GATL: Geometric Algebra Template Library☆60Updated 3 years ago
- Open Solver Interface☆58Updated 3 weeks ago
- Trust Region Subproblem Solver Library☆19Updated 10 months ago
- SmalL bUt Complete GROne Synthesizer☆41Updated 9 months ago
- 3D Visualization of mechanisms and URDFs using MeshCat.jl and RigidBodyDynamics.jl☆40Updated 6 months ago
- A C++ wrapper for SCIP☆23Updated 4 months ago
- Sequential object-oriented simPlex☆64Updated last month
- Python interface for COSMO.jl convex optimisation solver.☆14Updated 3 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆69Updated 3 years ago
- Polynomial optimization problem solver. Uses relaxation to convert the problem into Semidefinite programming. Can be also used just as Se…☆20Updated 7 years ago
- mixed integer semidefinite programming plugin for SCIP☆14Updated 9 months ago
- Specify and synthesize systems using symbolic algorithms☆49Updated 7 months ago
- A Python binding for ibex-lib☆13Updated 3 years ago