boolector - Satisfiability Modulo Theories (SMT) solver

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest amd64
Package filename boolector-
Package name boolector
Package version
Package release 1
Package architecture amd64
Package type txz
Category math
License MIT
Download size 549.21 KB
Installed size 3.70 MB
Boolector is a Satisfiability Modulo Theories (SMT) solver for the theories of
fixed-size bit-vectors, arrays and uninterpreted functions. It supports the
SMT-LIB logics BV, QF_ABV, QF_AUFBV, QF_BV and QF_UFBV. Boolector provides a
rich C and Python API and supports incremental solving, both with the SMT-LIB
commands push and pop, and as solving under assumptions. The documentation of
its API can be found here.


Package Version Architecture Repository
boolector- i386 FreeBSD Ports Latest
boolector- i386 FreeBSD Ports Quarterly
boolector- amd64 FreeBSD Ports Quarterly
boolector - - -


Name Value
btor2tools = g20190418 -


Type URL
Binary Package boolector-
Source Package math/boolector

Install Howto

Install boolector txz package:

# pkg install boolector

See Also

Package Description
boost-all-1.71.0.txz The "meta-port" for boost libraries
boost-docs-1.71.0.txz Documentation for libraries from
boost-jam-1.71.0.txz Build tool from the
boost-libs-1.71.0_1.txz Free portable C++ libraries (without Boost.Python)
boost_build-2.0.m12_12.txz Extensible cross-platform build tool suite
boot-extract-g20190614.txz Android Boot image extraction tool
bootstrap-openjdk11- Java Development Kit 11
bootstrap-openjdk6-r450701.txz Java Development Kit 6
bootstrap-openjdk8-r450802.txz Java Development Kit 8
bopm-3.1.3_3.txz Open proxy and DNSBL monitor designed for use with ircds
boringssl- Fork of OpenSSL
bosh-bootloader-7.6.0.txz CLI for standing up CloudFoundry or Concourse on an IAAS
bosh-cli-5.5.0.txz CLI for BOSH
bossa-1.7.0_9.txz Flash programmer for Atmel SAM microcontrollers
botan110-1.10.17_1.txz Portable, easy to use, and efficient C++ crypto library