smt topic
List
smt repositories
sparse-merkle-tree
21
Stars
3
Forks
Watchers
Sparse Merkle tree implementation in TypeScript.
TapePuller
18
Stars
7
Forks
Watchers
tape puller/remover for 0816 automatic feeder
ArxPy
29
Stars
11
Forks
Watchers
Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.
CASCADA
27
Stars
8
Forks
Watchers
A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
scalogno
40
Stars
9
Forks
Watchers
prototyping logic programming in Scala
lean-smt
74
Stars
16
Forks
Watchers
Tactics for discharging Lean goals into SMT solvers.
ksmt
29
Stars
12
Forks
Watchers
Kotlin/Java API for various SMT solvers
MachSMT
17
Stars
4
Forks
Watchers
MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers