ibex-team / ibex-lib
IBEX is a C++ library for constraint processing over real numbers.
☆69Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for ibex-lib
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆30Updated 2 months ago
- Codac is a library for constraint programming over reals, trajectories and sets.☆39Updated this week
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆27Updated last year
- An efficient implementation of the Double Description Method☆112Updated 10 months ago
- Geometric operations on polytopes of any dimension☆74Updated last month
- Library for chordal matrix computations☆23Updated 6 years ago
- Trust Region Subproblem Solver Library☆19Updated 3 months ago
- Rigorous Global Branch-and-Bound Optimizer☆21Updated 6 months ago
- ☆27Updated last month
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- A Python wrapper for Komei Fukuda's cddlib.☆61Updated last month
- Bertini 2.0: The redevelopment of Bertini in C++.☆93Updated 3 months ago
- URDF and meshes for the Boston Dynamics Atlas robot (v5)☆16Updated 4 years ago
- Automated Reasoning in Nonlinear Theories of Reals☆153Updated 5 months ago
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 5 months ago
- Python interface for COSMO.jl convex optimisation solver.☆13Updated 3 years ago
- Clique recycling non-Gaussian (multi-modal) factor graph solver; also see Caesar.jl.☆72Updated 3 weeks ago
- HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models☆15Updated 4 years ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆50Updated 3 years ago
- GAOL is not Just Another Interval Arithmetic Library☆14Updated 2 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆78Updated last month
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- Information page for running sos solvers☆13Updated 3 years ago
- A package for compositional system analysis and design☆19Updated last month
- Robust INner and Outer approximated reachability analysis☆8Updated 9 months ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆59Updated 2 weeks ago
- A Python binding for ibex-lib☆13Updated 2 years ago
- Low-level Julia bindings for the LCM communications library☆15Updated 3 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.☆57Updated 2 years ago