Package: picosat Version: 960 Severity: wishlist Dear Michael,
picosat 965 is available from http://fmv.jku.at/picosat/ Best, TK
Package: picosat Version: 960 Severity: wishlist Dear Michael,
picosat 965 is available from http://fmv.jku.at/picosat/ Best, TK