public interface OutputInterface
void
output()
setCSP(CSP csp)
setFormat(String format)
setOut(PrintWriter out)
void setCSP(CSP csp)
void setOut(PrintWriter out)
void setFormat(String format) throws SugarException
SugarException
void output() throws SugarException
Sugar: A SAT-based Constraint Solver