The Iowa Python Users Group

Please RSVP here if you plan to attend

Our Topic

SMT or SAT Modulo Theories is a powerful technology built upon the efficient SAT (boolean logic) solvers developed in the 2000s. It is serious AI with serious applications. We will go over the Python API for the Microsoft Z3 SMT solver and show you can use it leverage it for superhuman calculations to amaze your coworkers and crush the competition with optimal solutions for seemingly intractable problems.

Our Speaker

Chad Brewbaker consults through Flying Dog Solutions LLC with a focus full stack AWS development, build engineering including static analysis, mathematical modeling, and mobile phone forensics.

Our Location

The Forge is located at 1420 Locust above Django, and across from the Sculpture Park. Enter through the door on the parking lot side of the building, next to Django’s outdoor patio. Once inside head up the stairs. Street parking on Locust is free after 6pm.

Our Sponsors

Pillar Technology

We work with a variety of clients primarily in the Des Moines, Ann Arbor and Columbus regions. We are excited to help the growth of Software Craftsmanship in the Des Moines area. If you would like to join us in disrupting various industries and solving complex business problems, please contact us.

IMT Computer Services

We offer a software as a service platform for mutual insurance companies. We leverage a number of interesting technologies to automate business processes and add value for our customers. If you would like more information feel free to contact

Thanks to Pillar for providing our location, drinks, and to IMT Computer Services for providing food.