tikhon_/pssolver archive