save point
find bug -> solver.cc: 198
20141110 save point
implement mock of check_valid and add readme meeting 20141110
short modify