MicroTESK

I suggest wrapping a solution with SolverResult (solver status, error messages, etc.)

public interface Solver<T> {
  Class<T> getSolutionClass();
  SolverResult<T> solve(Sequence<Call> abstractSequence);
}