This repo contains the source code of CORP Alloy model