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 8 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆113Updated this week
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆97Updated last week
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆52Updated last month
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆56Updated 2 weeks ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆313Updated 5 months ago
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆22Updated 4 months ago
• broune / mathic
  C++ library of symbolic algebra data structures for use in Groebner basis computation.
  ☆25Updated 5 years ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆51Updated 3 months ago
• rewriting / tom
  ☆34Updated 5 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆54Updated 7 months ago
• ehebrard / Mistral-2.0
  ☆32Updated last year
• coin-or / CoinUtils
  COIN-OR Utilities
  ☆49Updated this week
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 5 months ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆127Updated this week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• ibex-team / ibex-lib
  IBEX is a C++ library for constraint processing over real numbers.
  ☆78Updated this week
• Singular / LELA
  Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations
  ☆18Updated 12 years ago
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆70Updated last week
• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆57Updated 2 years ago
• HPAC / ReLAPACK
  Recursive LAPACK Collection
  ☆44Updated 3 years ago
• firedrakeproject / glpk
  GNU Linear Programming Kit
  ☆49Updated 4 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• coin-or / Osi
  Open Solver Interface
  ☆61Updated 2 months ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• coin-or / Cgl
  Cut Generator Library
  ☆26Updated this week
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• LLNL / unum
  Universal Number Library
  ☆44Updated 7 years ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆49Updated 10 years ago