added launcher for interpreter with constraint solver