Added basic Z3 plugin (glpk and z3 are required)