Add JKindApi.setSolver()