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
- LinBox - C++ library for exact, high-performance linear algebra☆96Updated 3 weeks ago
- Code generation tool to generate mathematical libraries☆56Updated 6 months ago
- ☆34Updated 4 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- The Chuffed CP solver☆111Updated last month
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Givaro - C++ library for arithmetic and algebraic computations☆52Updated 3 weeks ago
- C++ library of symbolic algebra data structures for use in Groebner basis computation.☆25Updated 5 years ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Updated 12 years ago
- A Tensor Language☆55Updated 4 years ago
- Generic Constraint Development Environment☆312Updated 4 months ago
- ☆24Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- GluCat: Clifford algebra templates☆21Updated 7 months ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆72Updated last month
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 3 weeks ago
- COIN-OR Utilities☆49Updated last month
- Sequential object-oriented simPlex☆70Updated 3 weeks 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
- A standard for floating point accuracy benchmarks☆53Updated 6 months ago
- Recursive LAPACK Collection☆44Updated 3 years ago
- Sparse linear Boolean algebra for Nvidia Cuda☆24Updated 3 months ago
- Python term rewriting☆30Updated 12 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆128Updated last week
- ☆22Updated 11 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- Graph Coarsening and Partitioning Library☆32Updated 5 years ago