/* * Solve the given Request * * Returns +true+ if a solution was found, else +false+. * * call-seq: * solver.solve(request) -> bool * */ int solve( Request *t )