BOOLECTOR(1) - manual page | User commands SMT solver for bit-vectors and arrays. Chapters NAMESYNOPSISDESCRIPTIONOPTIONSAUTHOR June 4, 2010 Loading manual page ... Download boolector(1).txt | manual plain text file Downloading man page ... Find manuals Go top