SCS Prover