Added two simple examples of Z3's api usage, from Rise4Fun