On twitter, I’ve found another puzzle that could be trivially solved using z3, and serves as a good introductory example. Here is a very simple solution:
Alcides Fonseca.AI & Programming Languages researcher
I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.
On twitter, I’ve found another puzzle that could be trivially solved using z3, and serves as a good introductory example. Here is a very simple solution: