Solver is now validated as well, updated docs in pdptw package