(github.com) Z3Prover/z3: The Z3 Theorem Prover
ROAM_REFS: https://github.com/Z3Prover/z3
Open-source Z3 theorem prover aka an SMT solver.
(github.com) Home · Z3Prover/z3 Wiki
ROAM_REFS: https://github.com/Z3Prover/z3/wiki
On the web
(smt.st) SAT/SMT by Example - SATSMTbyexample.pdf
ROAM_REFS: https://smt.st/SAT_SMT_by_example.pdf
(0xec.blogspot.com) Coding | Reversing: Reversing the petya ransomware with constraint solvers
ROAM_REFS: https://0xec.blogspot.com/2016/04/reversing-petya-ransomware-with.html
Background
(z3prover.github.io) Programming Z3
ROAM_REFS: https://z3prover.github.io/papers/programmingz3.html
(z3prover.github.io) Z3 Internals (Draft)
ROAM_REFS: https://z3prover.github.io/papers/z3internals.html
(fstar-lang.org) Understanding how F* uses Z3 — Proof-Oriented Programming in F* documentation
ROAM_REFS: https://fstar-lang.org/tutorial/book/under_the_hood/uth_smt.html#understanding-how-f-uses-z3
(github.com) Publications · Z3Prover/z3 Wiki
ROAM_REFS: https://github.com/Z3Prover/z3/wiki/Publications
(scholar.google.com) De Moura: Z3: An efficient SMT solver - Google Scholar
ROAM_REFS: https://scholar.google.com/scholar?cites=4828743947843773221&as_sdt=5,48&sciodt=0,48&hl=en