17 ms·You left out running Z3 in your list of tasks. Did you read the article?by platz 6y agoYou left out running Z3 in your list of tasks. Did you read the article?