package edu.cmu.cs.dickerson.kpd.solver.exception;

public class SolverException extends Exception {
	
	private static final long serialVersionUID = 1L;

	public SolverException(String message) {
		super(message);
	}
}
