smt
Here are 230 public repositories matching this topic...
A Proof-oriented Programming Language
-
Updated
May 21, 2024 - F*
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
-
Updated
May 21, 2024 - Haskell
Refactor of dLinear4 https://github.com/martinjos/dlinear4
-
Updated
May 21, 2024 - C++
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
-
Updated
May 21, 2024 - Rust
A free open source cross-platform C++ library for parsing ODB++ Design archives, accessing their data, and building net list product models. Exposed via a REST API packaged inside of a Docker image.
-
Updated
May 20, 2024 - C++
A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
-
Updated
May 19, 2024 - Python
Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts.
-
Updated
May 19, 2024 - Go
Verification framework and tool for higher-order Scala programs
-
Updated
May 19, 2024 - HTML
Merkle Tree for o1js (membership / non-membership merkle witness) with Pluggable Storage
-
Updated
May 19, 2024 - TypeScript
Rust bindings for the Z3 solver.
-
Updated
May 18, 2024 - Rust
use the smt solver to find the sbox implementation
-
Updated
May 18, 2024 - Jupyter Notebook
Automatic verification of LLVM optimizations
-
Updated
May 16, 2024 - C++
Z3alpha synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
-
Updated
May 16, 2024 - Python
APALACHE: symbolic model checker for TLA+ and Quint
-
Updated
May 19, 2024 - Scala
Improve this page
Add a description, image, and links to the smt topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the smt topic, visit your repo's landing page and select "manage topics."