Man page - boolector(1)

Packages contains this manual

Package:  boolector
apt-get install boolector

Manuals in package:
• boolector(1)
Documentations in package:
• boolector

Manual

BOOLECTOR

NAME
SYNOPSIS
DESCRIPTION
OPTIONS
AUTHOR

---

NAME

boolector - SMT solver for bit-vectors and arrays

SYNOPSIS

boolector [ options ] input-file

DESCRIPTION

This manual page documents briefly the boolector command.

Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays.

OPTIONS

-h Show summary of options.
--version

print version and exit

AUTHOR

boolector was written by Robert Daniel Brummayer <Robert.Brummayer@jku.at> and Armin Biere <biere@jku.at>.

This manual page was written by Michael Tautschnig <mt@debian.org>, for the Debian project (but may be used by others).

---