Grab the code used in this video here:
gist.github.com/cetfor/64a1b8...
Z3 on GitHub:
github.com/Z3Prover/z3
Z3 APIs:
z3prover.github.io/api/html/
Want to learn more about SMT competitions and benchmarking? Check out SMT-COMP:
smt-comp.github.io/2020/index...
Video thumbnail credits:
Background vector created by pikisuperstar - www.freepik.com www.freepik.com/vectors/backg...