New Software and Platforms - The Cubicle model checker modulo theories