Serialized Form

Package org.sosy_lab.solver

Class org.sosy_lab.solver.SolverException extends Exception implements Serializable

serialVersionUID:

-1557936144555925180L