Some simple puzzles solved with SMT solvers. Currently with z3. Samples of pysmt will probably be added later.