Gecode / MPGLinks
Modeling and Programming with Gecode
☆51Updated 2 years ago
Alternatives and similar repositories for MPG
Users that are interested in MPG are comparing it to the libraries listed below
Sorting:
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆91Updated 3 weeks ago
- The Chuffed CP solver☆105Updated 3 months ago
- Code generation tool to generate mathematical libraries☆56Updated 4 months ago
- Sequential object-oriented simPlex☆68Updated last month
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 3 months ago
- Recursive LAPACK Collection☆42Updated 3 years ago
- GNU Linear Programming Kit☆47Updated 4 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆28Updated 9 months ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 2 years ago
- COIN-OR Utilities☆49Updated this week
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆37Updated 3 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Sparse symmetric indefinite solver implemented with a runtime system☆13Updated 5 years ago
- Generic Constraint Development Environment☆309Updated 2 months ago
- IBEX is a C++ library for constraint processing over real numbers.☆76Updated last month
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- GluCat: Clifford algebra templates☆21Updated 4 months ago
- Operations with matrices, SWI pack☆13Updated last year
- ☆34Updated 4 years ago
- A benchmark library for constraints☆94Updated 9 months ago
- ⛓️ Extension of clingo to handle constraints over integers☆27Updated this week
- Visualization tool for analyzing call trees and graphs☆34Updated 2 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated this week
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Graph Coarsening and Partitioning Library☆32Updated 5 years ago
- Rigorous Global Branch-and-Bound Optimizer☆24Updated 7 months ago
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago