PetterS / monolithLinks
A C++ monorepo for discrete and continuous optimization. Batteries included!
☆103Updated last year
Alternatives and similar repositories for monolith
Users that are interested in monolith are comparing it to the libraries listed below
Sorting:
- VieCut 1.00 - Shared-memory Minimum Cuts☆45Updated 2 years ago
- A free LDL factorisation routine☆92Updated 2 months ago
- Algebraic modeling library in C++ for linear optimization solvers☆43Updated 5 years ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆64Updated 4 years ago
- An example of C++ Sudoku solver using MiniSat library.☆29Updated 4 years ago
- Sequential object-oriented simPlex☆64Updated last month
- A Python parser for generating Python/C/Matlab solver interfaces☆43Updated 7 years ago
- Primal-Dual Operator Splitting Method for Conic Optimization☆20Updated 10 years ago
- A C++ interface to formulate and solve linear, quadratic and second order cone problems.☆158Updated 3 years ago
- MIQP solver based on OSQP☆102Updated last year
- [Not maintained] Implementation of TDigest algorithm in C++☆16Updated 8 years ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 7 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆76Updated last week
- Open Solver Interface☆57Updated 3 weeks ago
- Generate code to call C++ libraries from other languages☆31Updated 6 years ago
- Specify and synthesize systems using symbolic algorithms☆49Updated 7 months ago
- A Wait-Free Universal Construct for Large Objects☆97Updated 5 years ago
- C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.☆21Updated 2 years ago
- Parallel Presolve for Integer and Linear Optimization☆72Updated 3 weeks ago
- Spatial Containers, Pareto Fronts, and Pareto Archives☆98Updated 11 months ago
- tokenizer and parser for circle projects☆11Updated 5 years ago
- Geometric operations on polytopes of any dimension☆79Updated 2 weeks ago
- A minimalistic and high-performance SAT solver☆144Updated 3 years ago
- A C++ wrapper for SCIP☆23Updated 4 months ago
- ☆67Updated 7 years ago
- The Chuffed CP solver☆105Updated last month
- Live Asynchronous Visualized Architecture☆96Updated 6 years ago
- Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP☆151Updated 4 months ago
- Strongly-typed, dependency based application framework for code/data separation with dependency injection and data passing.☆46Updated 6 years ago
- Minotaur Toolkit for Mixed-Integer Nonlinear Optimization☆78Updated 3 weeks ago