Alternatives and similar repositories for MHSGenerationAlgorithms

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

• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated 2 years ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 3 years ago
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆22Updated 2 years ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆34Updated last year
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated this week
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated this week
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆58Updated 2 years ago
• arminbiere / gimsatul
  ☆34Updated 10 months ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆27Updated 2 weeks ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• xiw / arithcc
  ☆14Updated 4 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆20Updated last year
• martinjonas / Q3B
  ☆28Updated last month
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 6 months ago
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆71Updated last month
• meelgroup / ganak
  High-performance probabilistic exact counter
  ☆37Updated this week
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆29Updated 7 months ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• agurfinkel / spacer-on-jupyter
  ☆17Updated 2 years ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• Laakeri / sharpsat-td
  Entry to model counting competition 2021.
  ☆20Updated 10 months ago
• ufmg-smite / carcara
  ☆37Updated this week
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆38Updated this week
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆75Updated 4 months ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated 10 months ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆23Updated 2 years ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆51Updated 2 weeks ago