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
  ☆16Updated 7 years ago
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆27Updated 12 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆104Updated last week
• bluescarni / obake
  A C++20 library for the symbolic manipulation of sparse polynomials & co.
  ☆28Updated 5 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 9 months ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆47Updated last year
• coin-or / CoinUtils
  COIN-OR Utilities
  ☆47Updated last month
• GraphBLAS / rgri
  Reference implementation of the draft C++ GraphBLAS specification.
  ☆30Updated last month
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆22Updated 11 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆32Updated last week
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated 3 weeks ago
• rewriting / tom
  ☆34Updated 4 years ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated last year
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 3 months ago
• SparseLinearAlgebra / cuBool
  Sparse linear Boolean algebra for Nvidia Cuda
  ☆24Updated 2 weeks ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆64Updated 2 weeks ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• boostorg / interval
  Boost.org numeric interval library
  ☆24Updated 2 weeks ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• broune / mathic
  C++ library of symbolic algebra data structures for use in Groebner basis computation.
  ☆23Updated 4 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆89Updated 5 months ago
• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆52Updated last year
• dpiponi / Legendre
  Some notes on the relationship between the Legendre and Fourier transforms
  ☆11Updated 4 years ago
• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated 2 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆25Updated 7 years ago
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆23Updated 3 months ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆85Updated last month
• HPAC / ReLAPACK
  Recursive LAPACK Collection
  ☆42Updated 3 years ago