Alternatives and similar repositories for stacscheck:

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

• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆79Updated 3 months ago
• eprover / eprover
  ☆135Updated this week
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆112Updated this week
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆25Updated 2 months ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆70Updated 5 months ago
• avigad / formal_methods_in_education
  A web page with resources for teaching with formal methods and tools.
  ☆14Updated last year
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆139Updated 3 months ago
• tcsprojects / pgsolver
  A collection of tools for generating, manipulating and - most of all - solving parity games.
  ☆35Updated 5 months ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated last year
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆23Updated 3 years ago
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆31Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated 2 weeks ago
• ths-rwth / smtrat
  ☆52Updated last month
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆81Updated 4 months ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆63Updated 8 months ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆101Updated last month
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆41Updated last year
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆109Updated last year
• arminbiere / satch
  SAT Solver SATCH
  ☆113Updated 2 years ago
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆121Updated 4 months ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆156Updated 7 months ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆71Updated 3 years ago
• ufmg-smite / carcara
  ☆34Updated this week
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆157Updated 3 months ago
• coq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆112Updated 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
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆93Updated last week
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated 6 months ago