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
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆27Updated 12 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆104Updated last month
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated last month
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆64Updated last month
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆46Updated this week
• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated 2 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆56Updated 2 months ago
• coin-or / CoinUtils
  COIN-OR Utilities
  ☆48Updated 2 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆23Updated 5 months ago
• ScottKolo / Mongoose
  Graph Coarsening and Partitioning Library
  ☆32Updated 5 years ago
• SamuelBayliss / Potholes
  Polyhedral Compilation tool for High Level Synthesis.
  ☆10Updated 11 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• nfzhou / lp-contest
  ☆10Updated 7 months ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 2 weeks ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆291Updated 10 months ago
• coin-or / Osi
  Open Solver Interface
  ☆57Updated this week
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• broune / mathic
  C++ library of symbolic algebra data structures for use in Groebner basis computation.
  ☆24Updated 4 years ago
• horenmar / sudoku-example
  An example of C++ Sudoku solver using MiniSat library.
  ☆29Updated 3 years ago
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 8 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 7 months ago
• Diderot-Language / diderot
  The Diderot language compiler
  ☆15Updated 2 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 11 months ago
• brnorris03 / Orio
  Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…
  ☆37Updated 3 years ago
• bluescarni / obake
  A C++20 library for the symbolic manipulation of sparse polynomials & co.
  ☆28Updated 7 months ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 years ago
• arpra-project / arpra
  Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.
  ☆24Updated 2 years ago