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 this week
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆34Updated 2 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
- Visualizer for Intervals and BoxES☆21Updated 2 weeks ago
- Geometric operations on polytopes of any dimension☆79Updated last month
- ☆27Updated 8 months ago
- Information page for running sos solvers☆14Updated 3 years ago
- A free LDL factorisation routine☆94Updated 3 months ago
- An efficient implementation of the Double Description Method☆119Updated 5 months ago
- A Python binding for ibex-lib☆13Updated 3 years ago
- Python interface for COSMO.jl convex optimisation solver.☆14Updated 3 years ago
- Open Solver Interface☆57Updated last month
- Modeling and Programming with Gecode☆46Updated 2 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Rigorous Global Branch-and-Bound Optimizer☆24Updated 6 months ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated 9 months ago
- Bertini 2.0: The redevelopment of Bertini in C++.☆105Updated 4 months 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
- Specify and synthesize systems using symbolic algorithms☆50Updated 7 months ago
- Trust Region Subproblem Solver Library☆20Updated 10 months ago
- ☆55Updated 3 weeks ago
- Low-level Julia bindings for the LCM communications library☆16Updated 4 years ago
- Clique recycling non-Gaussian (multi-modal) factor graph solver; also see Caesar.jl.☆74Updated this week
- A benchmark for Geometric Algebra libraries, library generators, and code optimizers.☆22Updated 3 years ago
- The Chuffed CP solver☆105Updated 2 months ago
- Probabilistic reachability and parameter set synthesis for stochastic hybrid systems☆17Updated 5 months ago
- GAOL is not Just Another Interval Arithmetic Library☆17Updated 2 years ago
- The main source code for Regina☆38Updated this week
- A Python parser for generating Python/C/Matlab solver interfaces☆43Updated 7 years ago