SimEng solver