Solving brain teasers using python and z3 Apr 09 2020 Why try to figure it out using logic, when you make your computer use logic for you? Next one: