Model Cp in framework
Implement cp solver