Serialized Form

Package org.sosy_lab.java_smt.api

Exception org.sosy_lab.java_smt.api.SolverException

class SolverException extends Exception implements Serializable

serialVersionUID:

-1557936144555925180L