The solution is to look at a lot of examples https://www.hakank.org/

		almostgotcaught 3 months ago \| parent \| context \| favorite \| on: A dumb introduction to z3 The solution is to look at a lot of examples https://www.hakank.org/