#smt (18 Repositories)
Ranked open-source repositories tagged with #smt, scored by pull request acceptance likelihood and maintainer engagement velocity.
62.0%
10.3h
18 repositories tagged #smt
stp/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
pysmt/pysmt
pySMT: A library for SMT formulae manipulation and solving
py2many/py2many
Transpiler of Python to many other languages
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
TRC-Loop/Pelton
📨 An open-source email client built around your privacy, cross-platform with zero telemetry, fully yours.
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
HarvardPL/formulog
Datalog with support for SMT queries and first-order functional programming
prove-rs/z3.rs
Rust bindings for the Z3 solver.
ufmg-smite/lean-smt
Tactics for discharging Lean goals into SMT solvers.
smackers/smack
SMACK Software Verifier and Verification Toolchain
verse-lab/veil
A verifier for automated and interactive proofs about transition systems.
LeventErkok/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
peltonapp/Pelton
📨 An open-source email client built around your privacy, cross-platform with zero telemetry, fully yours.
AliveToolkit/alive2
Automatic verification of LLVM optimizations
testsmt/yinyang
A fuzzing framework for SMT solvers
TyGuS/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
yaqwsx/jlcparts
Better parametric search for components available for JLC PCB assembly