Gecode / MPGLinks
Modeling and Programming with Gecode
☆51Updated 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 3 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- ☆34Updated 4 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 4 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆91Updated last week
- Generic Constraint Development Environment☆309Updated 2 months ago
- Code generation tool to generate mathematical libraries☆56Updated 4 months ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆56Updated 2 years ago
- C++ library of symbolic algebra data structures for use in Groebner basis computation.☆25Updated 5 years ago
- Recursive LAPACK Collection☆43Updated 3 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated last week
- Julia Implementation of Unums☆42Updated 8 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Sequential object-oriented simPlex☆69Updated last week
- ☆23Updated 2 years ago
- A benchmark library for constraints☆95Updated this week
- 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☆52Updated 4 months ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Updated 12 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆71Updated this week
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- COIN-OR Utilities☆49Updated last week
- Inference engine for extensional untyped λ-calculus☆4Updated last week
- ☆11Updated 3 years ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆22Updated last month
- Sparse linear Boolean algebra for Nvidia Cuda☆24Updated last month
- ☆30Updated 7 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year