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.
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.
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.
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.
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 firstname.lastname@example.org.
Thanks to Pillar for providing our location, drinks, and to IMT Computer Services for providing food.