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 :)
We're looking for speakers! It's OK if you've never spoken before or if you've spoken hundreds of times, we want to hear from you!
We're looking for talks about anything interesting to programmers, come share about your favorite language or framework, or learn something new and talk about how it went! We're hoping for talks about anything but here are a few things members have mentioned wanting to learn about recently: Go, C, C++, Haskell, Erlang, and Elixir.
Contact Jess or Brock on the left or through whatever means you have :)