nitcc: detect S/R even if R/R conflict as a solution is to shift in case of S/R/R
[nit.git] / tests / sav / solver_cmd.res
2014-08-11 Jean Privatfriendz: add solver_cmd for solve from command line