3 Repositories
Rust smt Libraries
Sparse Merkle tree for a key-value map.
LSMTree A Rust library that implements a Sparse Merkle tree for a key-value store. The tree implements the same optimisations specified in the Libra w
14 Oct 8, 2022
Libraries and tools for the SMT-LIB-2 standard.
smt2utils: Libraries and tools for the SMT-LIB-2 standard This project aims to develop Rust libraries and tools around the SMT-LIB-2 standard. The SMT
18 Dec 16, 2022
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
Axiom Profiler A tool for visualising, analysing and understanding quantifier instantiations made via E-matching in a run of an SMT solver (at present
18 Oct 18, 2022