removed outdated script
Modularised the RPO processor and added a Z3 backend.