Alternatives and similar repositories for MHSGenerationAlgorithms:

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

• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆22Updated 2 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆19Updated last year
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 3 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 9 months ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆32Updated last year
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated last year
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆53Updated 2 months ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆70Updated 6 months ago
• arminbiere / gimsatul
  ☆34Updated 6 months ago
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆68Updated 3 months ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 3 months ago
• mschlund / FPsolve
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Updated 9 years ago
• maximaximal / Paracooba
  Distributed and ressource elastic cube-and-conquer SAT & QBF solver
  ☆18Updated 2 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 3 years ago
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆59Updated 4 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
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆49Updated 9 months ago
• meelgroup / ganak
  The first scalable probabilistic exact counter
  ☆28Updated 9 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 2 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated last week
• probing-lab / polar
  ☆16Updated 6 months ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆23Updated 3 years ago
• niklasso / tip
  A model checker based on SAT solving and induction
  ☆13Updated 9 years ago
• secure-foundations / mariposa
  ☆12Updated this week
• bzhan / auto2
  A best-first-search theorem prover implemented in Isabelle
  ☆34Updated 2 years ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆57Updated last week
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆56Updated 2 years ago