examples of evaluation in a model - ipython notebook
got z3 interfaces working again