https://github.com/Z3Prover/z3

https://github.com/Z3Prover/z3/wiki/Slides
https://github.com/Z3Prover/z3/wiki/Publications

https://github.com/Z3Prover/z3/tree/master/examples/java

!pip install "z3-solver"

2020
Bjorner - Programming Constraint Services with Z3 of 1:07:48
    https://www.youtube.com/watch?v=nGwyNmsxX6I