Set PiGoSAT’s version and add a function for obtaining PicoSAT’s