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
• chuffed / chuffed
  The Chuffed CP solver
  ☆104Updated last month
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆27Updated 12 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆22Updated last year
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆24Updated 5 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 years ago
• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆55Updated last year
• riswords / quiche
  ☆22Updated 2 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆49Updated 2 months ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 2 months ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• alex-87 / HyperGraphLib
  C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.
  ☆21Updated 2 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆20Updated 2 months ago
• fritzo / pomagma
  An inference engine for extensional untyped λ-calculus
  ☆3Updated this week
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆36Updated last year
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Updated 3 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 9 months ago
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 8 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 2 weeks ago
• fadoss / umaudemc
  Unified Maude model-checking tool
  ☆11Updated 5 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆56Updated 2 months ago
• OpenCMISS-Dependencies / pastix
  PaStiX (Parallel Sparse matriX package) solver library
  ☆14Updated 6 years ago
• coin-or / CoinUtils
  COIN-OR Utilities
  ☆48Updated 2 weeks ago
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆64Updated last month