1.3 release

Improved CSPOMSolver API. Some debuggingx