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 3 months ago
- The Chuffed CP solver☆119Updated last week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated 3 months ago
- ☆34Updated 5 years ago
- Generic Constraint Development Environment☆315Updated this week
- Julia Implementation of Unums☆42Updated 8 years ago
- COIN-OR Utilities☆50Updated this week
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 4 months ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆23Updated last month
- Sequential object-oriented simPlex☆73Updated this week
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆72Updated 4 months ago
- Recursive LAPACK Collection☆44Updated 3 years ago
- C++ library of symbolic algebra data structures for use in Groebner basis computation.☆25Updated 5 years ago
- The Standard Interface for Incremental Satisfiability Solving☆51Updated 3 years ago
- A Tensor Language☆55Updated 4 years ago
- Program Generator for Small-Scale Linear Algebra Applications☆31Updated 7 years ago
- A C++ monorepo for discrete and continuous optimization. Batteries included!☆106Updated last year
- ☆32Updated last year
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆59Updated 2 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆133Updated last week
- A benchmark library for constraints☆98Updated 2 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆50Updated 8 months ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Updated 13 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Python term rewriting☆30Updated 12 years ago
- SAT solver for education☆26Updated 3 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- A standard for floating point accuracy benchmarks☆57Updated this week