Serialized Form

Package com.microsoft.z3

Exception com.microsoft.z3.Model.ModelEvaluationFailedException

class ModelEvaluationFailedException extends Z3Exception implements Serializable

Exception com.microsoft.z3.Z3Exception

class Z3Exception extends RuntimeException implements Serializable