z3 topic
z3-mode
An interactive development environment for SMT-LIB files and Z3
plt-formal-methods-resources
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
Casper
A compiler for automatically re-targeting sequential Java code to Apache Spark.
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
z3-python-ctf
🐍 Solving CTF challenges using Z3 and Python
auto-cryptanalysis
Automated cryptanalysis of substitution permutation network cipher
intrepid
Intrepyd Model Checker
z3overlay
An overlay for the OCaml Z3 binding.
Z3.Linq
LINQ bindings for the Z3 theorem prover from Microsoft Research.
regex-crossword-solver
https://regexcrossword.com/ solver using Z3py