There are many examples in [Hillel Wayne's post](https://www.hillelwayne.com/post/z3-examples/) that could be used as simple examples for Aeon synthesis, both GP and SMT-backed. More examples here: https://ar-ms.me/thoughts/a-gentle-introduction-to-z3/
There are many examples in Hillel Wayne's post that could be used as simple examples for Aeon synthesis, both GP and SMT-backed.
More examples here: https://ar-ms.me/thoughts/a-gentle-introduction-to-z3/