Alternatives and similar repositories for stacscheck

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

• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 9 months ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆83Updated last month
• eprover / eprover
  ☆149Updated 2 weeks ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆174Updated last week
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆150Updated this week
• johnyf / tool_lists
  Links to tools by subject
  ☆379Updated last year
• trolando / oink
  Oink, an implementation of modern parity game solvers
  ☆36Updated 2 weeks ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated last year
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆82Updated 2 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆49Updated 2 months ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated last year
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆30Updated 2 months ago
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• jrclogic / SMCDEL
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆46Updated last week
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆120Updated last month
• JoseCSantos / GILPS
  General Inductive Logic Programming System
  ☆18Updated 2 years ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆169Updated last week
• ths-rwth / smtrat
  ☆57Updated last month
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆203Updated this week
• vprover / vampire
  The Vampire Theorem Prover
  ☆343Updated this week
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆25Updated 3 months ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆42Updated 3 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 9 months ago
• tyler-utah / PBDD
  A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…
  ☆14Updated 11 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆96Updated 2 weeks ago