Z3/Python Exploration and Randori

In this meetup we're going to explore SMT solvers, Z3 python-bindings specifically. We'll do a hands-on exercise (Randori) to get a feel for interactively solving some logic problems.

Other topics will be dynamically bound :)