GitHub repository: luanleone/ManagerModuleZ3
Description: Create and delete module z3