package edu.stanford.peer.rbtm.engine; import edu.stanford.peer.rbtm.credential.*; public interface BackwardSolution { }