Serialized Form

Package com.microsoft.z3

Class com.microsoft.z3.Model.ModelEvaluationFailedException extends Z3Exception implements Serializable

Class com.microsoft.z3.Z3Exception extends RuntimeException implements Serializable