Gecode / MPGLinks
Modeling and Programming with Gecode
☆50Updated 3 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
- Code generation tool to generate mathematical libraries☆58Updated last month
- C++ library of symbolic algebra data structures for use in Groebner basis computation.☆25Updated 5 years ago
- Recursive LAPACK Collection☆44Updated 3 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated last month
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 2 months ago
- The Chuffed CP solver☆117Updated last week
- Julia Implementation of Unums☆42Updated 8 years ago
- ☆34Updated 5 years ago
- Generic Constraint Development Environment☆314Updated 2 weeks ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Visual graph rewriting platform☆10Updated 6 months ago
- Sparse linear Boolean algebra for Nvidia Cuda☆24Updated 3 weeks ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 7 months ago
- Sequential object-oriented simPlex☆70Updated 2 weeks ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- Fortran Front-End☆45Updated 7 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆72Updated 3 months ago
- COIN-OR Utilities☆49Updated last month
- Graph Coarsening and Partitioning Library☆33Updated 5 years ago
- ☆32Updated last year
- GluCat: Clifford algebra templates☆22Updated 8 months ago
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆37Updated 4 years ago
- A standard for floating point accuracy benchmarks☆55Updated 2 weeks ago
- Program Generator for Small-Scale Linear Algebra Applications☆31Updated 7 years ago
- ☆24Updated 2 years ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- Chapel HyperGraph Library (CHGL) - HPC-class Hypergraphs in Chapel☆31Updated 5 years ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆57Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago