Man Pages in boolector

Section 1: Executable programs or shell commands

boolector.1

Smt solver for bit-vectors and arrays