Your project was very much something I looked into when designing this! Fun to see you commenting.

But yes, different goals. I did look into using z3, but quickly found out that it's pretty slow compared to just checking if a test case passes when ran through the candidate program.