ibex-team / ibex-libLinks
IBEX is a C++ library for constraint processing over real numbers.
☆76Updated last month
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☆120Updated 5 months ago
- Library for chordal matrix computations☆25Updated 6 years ago
- Bertini 2.0: The redevelopment of Bertini in C++.☆105Updated 5 months ago
- A free LDL factorisation routine☆95Updated 3 months ago
- Geometric operations on polytopes of any dimension☆79Updated last month
- A benchmark for Geometric Algebra libraries, library generators, and code optimizers.☆22Updated 3 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
- A Python parser for generating Python/C/Matlab solver interfaces☆43Updated 7 years ago
- Sequential object-oriented simPlex☆68Updated last month
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆68Updated last month
- COIN-OR projects with CMake build support☆73Updated 2 years ago
- Trust Region Subproblem Solver Library☆20Updated 11 months ago
- Open Solver Interface☆57Updated 2 months ago
- URDF and meshes for the Boston Dynamics Atlas robot (v5)☆17Updated 5 years ago
- A Graph Coloring Algorithm Package☆63Updated last year
- 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
- Python interface for COSMO.jl convex optimisation solver.☆14Updated 3 years ago
- Library for computing with multidimensional functions☆51Updated last year
- Low-level Julia bindings for the LCM communications library☆16Updated 4 years ago
- COIN-OR autotools harness to build Mumps☆20Updated last month
- Header only, C++ library (and the Python pyaudi package) implementing the algebra of Taylor truncated polynomials and a few algorithms us…☆75Updated 7 months ago
- A C++ wrapper for SCIP☆24Updated 5 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆91Updated 3 weeks ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated last week
- A Python wrapper for Komei Fukuda's cddlib.☆67Updated 2 weeks ago
- Simulation and visualization of articulated rigid body systems in Julia☆73Updated 5 years ago
- Information page for running sos solvers☆14Updated 3 years ago
- C++ framework for rigorous computation on cyber-physical systems☆29Updated last week
- Gaalop (Geometic Algebra Algorithms Optimizer) is a software to compile and optimize geometric algebra (GA) expressions into high-level p…☆107Updated last month