Gecode / MPG
Modeling and Programming with Gecode
☆45Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for MPG
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- The Chuffed CP solver☆92Updated this week
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- ☆31Updated 9 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 11 months ago
- Sequential object-oriented simPlex☆61Updated this week
- Recursive LAPACK Collection☆42Updated 2 years ago
- Code generation tool to generate mathematical libraries☆55Updated 8 months ago
- Data Dependence Analyzer in the Polyhedral Model☆19Updated last year
- compiler for fortran stencils using verified lifting,☆17Updated 2 years ago
- Rigorous Global Branch-and-Bound Optimizer☆21Updated 6 months ago
- A compiler for BLOG probabilistic programming language☆25Updated 6 years ago
- The CP solver Chuffed☆20Updated 8 years ago
- ⛓️ Extension of clingo to handle constraints over integers☆25Updated 2 months ago
- A Free World Class High Performance SAT Solver☆20Updated 3 years ago
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆36Updated 3 years ago
- The implementation of the Elevate language☆29Updated 3 weeks ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Remote Backend Compiler☆30Updated 2 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆39Updated last year
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆21Updated 6 months ago
- Examples of using Diderot☆11Updated 5 years ago
- The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear …☆69Updated last week
- ☆10Updated last month
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆22Updated last month
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated last year
- ☆11Updated 3 years ago
- Semiring Algebra☆12Updated 3 years ago
- GNU Linear Programming Kit☆44Updated 3 years ago