Add STP solver