Top 40 smt open source projects

Yices2
The Yices SMT Solver
✭ 248
smt
Stainless
Verification framework and tool for higher-order Scala programs
Alive2
Automatic verification of LLVM optimizations
Apalache
APALACHE: symbolic model checker for TLA+
Boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
✭ 172
smt
Triton
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
Precious Plastic Kit
Precious Plastic Downloadpack
✭ 136
smt
Sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Jlcparts
Better parametric search for components available for JLC PCB assembly
Eustathios Spider V2
Update to Eustathios with a little bit of HercuLien Design Changes
✭ 107
smt
Mbed Hdk
mbed HDK - This repository is not being maintained. For the latest updates, please use: https://github.com/ARMmbed/mbed-HDK-Eagle-Projects
✭ 106
smt
Deepblockchains
Deep Blockchains - reference implementation of Plasma, Stark, SMT and more
Mbed Hdk Eagle Projects
Collection of Eagle projects for targets, interfaces, shields and more
✭ 91
smt
Java Smt
JavaSMT - Unified Java API for SMT solvers.
Storm
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
Nopol
Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.
✭ 73
javasmt
Dreal4
SMT Solver for Nonlinear Theories of Reals
✭ 72
smt
Liquidhaskell
Liquid Types For Haskell
Cvc4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
✭ 476
smt
Adafruit cad parts
CAD files for various boards, components and parts
✭ 386
smt
Pysmt
pySMT: A library for SMT formulae manipulation and solving
Stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Sat smt by example
"SAT/SMT by example" free ebook
Smack
SMACK Software Verifier and Verification Toolchain
smt
A Go library that implements a Sparse Merkle tree for a key-value map.
kafka-connect-transform-kryptonite
Kryptonite for Kafka is a client-side 🔒 field level 🔓 crypto library for Apache Kafka® currently focused on Kafka Connect scenarios. It's an ! UNOFFICIAL ! community project
archsat
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
z3 tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
vim-smt2
A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
clpsmt-miniKanren
CLP(SMT) on top of miniKanren
py2many
Transpiler of Python to many other languages
mailer-plugin
This plugin allows you to configure email notifications for build results
TargomanSMT
Targoman SMT framework source code
the-thoralf-plugin
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
stevia
A simple (unfinished) SMT solver for QF_ABV.
scalogno
prototyping logic programming in Scala
1-40 of 40 smt projects