package freeboogie.backend;
/**
* Encapsulates detailed feedback from the prover, such as a prove
* that a formula is valid or a counterexample. I haven't yet decided
* if anything should be forced onto all provers.
*
* @author rgrig
* @author reviewed by TODO
*/
public interface ProverAnswer {
/* empty */
}