Add SCIP spec; Cpp fixes