-
-
-
boolector Public
Forked from Boolector/boolectorA Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
SMT Other UpdatedFeb 4, 2026 -
btor2tools Public
Forked from hwmcc/btor2toolsA generic parser and tool package for the BTOR2 format.
C Other UpdatedFeb 4, 2026 -
seahorn Public
Forked from seahorn/seahornSeaHorn Verification Framework
-
minisat Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
-
glucose-3-drup Public
Forked from agurfinkel/glucose-3-drupGlucose 3.0 with online DRUP proofs and proof traversal (for interpolation)
C++ UpdatedNov 7, 2023 -
eldarica Public
Forked from uuverifiers/eldaricaThe Eldarica model checker
Scala Other UpdatedJan 19, 2023 -
-
cvc4 Public
Forked from AdaCore/cvc5SPARK 2014 repository for the CVC4 SMT solver.
SMT Other UpdatedJan 18, 2018
{{ message }}