com.microsoft.z3.Z3Exception: invalid usage

Kai

Created December 02, 2016 12:04

I've a strange Exception while using Microsofts Z3 Solver using their JAVA JNI Api. Any idea? Thx Kai

User's action execute method failed. Action: Check DSL program. Class: xyz.ui.plugin.XYZ_Action: invalid usage
com.microsoft.z3.Z3Exception: invalid usage
at com.microsoft.z3.Native.solverGetModel(Native.java:4318)
at com.microsoft.z3.Solver.getModel(Solver.java:247)

1 comment

Sanjit Mishra

Created December 02, 2016 13:18

I afraid you are missing some required DLL that suppose to be there.
Can you please explain more about how you are using MPS(Direct installation or from source) & any third parties that you are using?

Please sign in to leave a comment.