Gecode / MPGLinks
Modeling and Programming with Gecode
☆50Updated 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
- The Chuffed CP solver☆108Updated 2 weeks ago
- Code generation tool to generate mathematical libraries☆56Updated 5 months ago
- ☆34Updated 4 years ago
- Generic Constraint Development Environment☆311Updated 3 months ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- Recursive LAPACK Collection☆43Updated 3 years ago
- Sequential object-oriented simPlex☆70Updated this week
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆22Updated 2 months ago
- The implementation of the Elevate language☆29Updated 5 months ago
- Python term rewriting☆30Updated 12 years ago
- Universal Number Library☆42Updated 7 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆92Updated 2 weeks ago
- A standard for floating point accuracy benchmarks☆52Updated 5 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated this week
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 7 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- ☆32Updated last year
- ☆23Updated 2 years ago
- Sigmoid Numbers for Julia☆88Updated 7 years 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
- Sparse linear Boolean algebra for Nvidia Cuda☆24Updated 2 months ago
- Visual graph rewriting platform☆10Updated 2 months ago
- Awesome Geometric Algebra☆28Updated 5 years ago
- A Tensor Language☆55Updated 4 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 5 months ago
- The Cubicle model checker☆14Updated last year
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆56Updated 2 years ago