The Z3: Birth of Programmable Computing