Alternatives and similar repositories for MPG:

Users that are interested in MPG are comparing it to the libraries listed below

• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 7 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 9 months ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆104Updated last week
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆27Updated 12 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated last month
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆288Updated 9 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• ScottKolo / Mongoose
  Graph Coarsening and Partitioning Library
  ☆32Updated 5 years ago
• HPAC / ReLAPACK
  Recursive LAPACK Collection
  ☆42Updated 3 years ago
• metagraph-dev / mlir-graphblas
  MLIR tools and dialect for GraphBLAS
  ☆18Updated 3 years ago
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆64Updated last week
• ehebrard / Mistral-2.0
  ☆32Updated last year
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆47Updated 9 years ago
• bluescarni / obake
  A C++20 library for the symbolic manipulation of sparse polynomials & co.
  ☆28Updated 6 months ago
• firedrakeproject / glpk
  GNU Linear Programming Kit
  ☆47Updated 4 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆43Updated last year
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 8 months ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆22Updated last year
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆49Updated last month
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆41Updated this week
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆47Updated last year
• NLAFET / SyLVER
  Sparse symmetric indefinite solver implemented with a runtime system
  ☆13Updated 4 years ago
• cmu-sei / gbtl
  GraphBLAS Template Library (GBTL): C++ graph algorithms and primitives using semiring algebra as defined at graphblas.org
  ☆133Updated last year
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated last month
• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated 2 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 3 years ago