add picosat author