GCL and Z3 Project skeleton