PICOSAT(1) - manual page | User commands SAT solver with proof and core support. Chapters NAMESYNOPSISDESCRIPTIONOPTIONSAUTHOR February 5, 2010 Loading manual page ... Download picosat(1).txt | manual plain text file Downloading man page ... Find manuals Go top