Add basic picosat script