s/PicosatError/picosat.Error/