PetterS / monolith
A C++ monorepo for discrete and continuous optimization. Batteries included!
☆99Updated 10 months ago
Alternatives and similar repositories for monolith:
Users that are interested in monolith are comparing it to the libraries listed below
- VieCut 1.00 - Shared-memory Minimum Cuts☆43Updated 2 years ago
- Sequential object-oriented simPlex☆63Updated this week
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆64Updated 3 years ago
- ☆34Updated 7 years ago
- An example of C++ Sudoku solver using MiniSat library.☆29Updated 3 years ago
- Algebraic modeling library in C++ for linear optimization solvers☆43Updated 5 years ago
- Primal-Dual Operator Splitting Method for Conic Optimization☆20Updated 10 years ago
- Conjure: The Automated Constraint Modelling Tool☆103Updated 2 weeks ago
- A C++ wrapper for SCIP☆22Updated last month
- General meta-Heuristic Optimization Solving Toolkit☆35Updated 2 weeks ago
- Library for creation of SAT instances.☆18Updated 2 years ago
- An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers☆102Updated 5 months ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP☆150Updated last month
- Automatic differentiation in C++; infinite differentiability of conditionals, loops, recursion and all things C++☆150Updated 5 years ago
- A C++ implementation of the derivative-free optimization algorithm CMA-ES.☆23Updated 11 years ago
- A solver for mixed-integer nonlinear optimization problems☆119Updated this week
- A fast Tsetlin Machine implementation employing bit-wise operators, with MNIST demo.☆67Updated 5 years ago
- Zinc is a C++ library for spatial processing.☆48Updated 6 years ago
- Bachelor thesis Martijn Bakker -- Numerical mathematics on FPGAs using CλaSH☆28Updated 9 years ago
- Generate code to call C++ libraries from other languages☆29Updated 5 years ago
- Parallel Presolve for Integer and Linear Optimization☆40Updated 3 years ago
- A benchmark library for constraints☆87Updated 4 months ago
- The Chuffed CP solver☆100Updated 3 months ago
- A minimalistic and high-performance SAT solver☆145Updated 3 years ago
- IPython / Jupyter integration for pybind11☆68Updated 7 years ago
- A Graph Coloring Algorithm Package☆61Updated last year
- Inverse Laplace transform based on concentrated matrix-exponential functions☆41Updated 3 months ago
- tokenizer and parser for circle projects☆11Updated 5 years ago
- Specify and synthesize systems using symbolic algorithms☆47Updated 4 months ago