MINISAT(1) - manual page | User commands Fast and lightweight SAT solver. Chapters NAMESYNOPSISDESCRIPTIONOPTIONSEXIT CODESAUTHOR September 3, 2011 Loading manual page ... Download minisat(1).txt | manual plain text file Downloading man page ... Find manuals Go top