add CRME solver and isSolved method