Alternatives and similar repositories for stacscheck

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

• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated last year
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 10 months ago
• eprover / eprover
  ☆153Updated 2 weeks ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated last week
• arminbiere / satch
  SAT Solver SATCH
  ☆119Updated 2 years ago
• imitator-model-checker / imitator
  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…
  ☆28Updated this week
• fraleo / OMTPlan
  A python framework for Optimal Planning Modulo Theories
  ☆11Updated last year
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆83Updated 2 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated this week
• ths-rwth / smtrat
  ☆57Updated 2 months ago
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆126Updated 7 months ago
• JoseCSantos / GILPS
  General Inductive Logic Programming System
  ☆18Updated 2 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆22Updated 3 years ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆349Updated this week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆175Updated last week
• wo / tpg
  Tree Proof Generator
  ☆171Updated 6 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆36Updated this week
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆64Updated 9 months ago
• hintikkasworld / hintikkasworld
  Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
  ☆12Updated last year
• DavidJaz / DynamicalSystemsBook
  ☆50Updated last year
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆169Updated 3 weeks ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆37Updated 2 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆26Updated last week
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆99Updated this week
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆19Updated 2 years ago
• ufmg-smite / carcara
  ☆39Updated last week
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆121Updated last week