CIMPLICITY Solve Engine Interface