boolector-3.0.0.239_1.txz


Advertisement

Description

boolector - Satisfiability Modulo Theories (SMT) solver

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest amd64
Package filename boolector-3.0.0.239_1.txz
Package name boolector
Package version 3.0.0.239
Package release 1
Package architecture amd64
Package type txz
Category math
Homepage https://boolector.github.io/
License MIT
Maintainer yuri@FreeBSD.org
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.
WWW: https://boolector.github.io/

Alternatives

Package Version Architecture Repository
boolector-3.0.0.239_1.txz 3.0.0.239 i386 FreeBSD Ports Latest
boolector-3.0.0.239_1.txz 3.0.0.239 i386 FreeBSD Ports Quarterly
boolector-3.0.0.239_1.txz 3.0.0.239 amd64 FreeBSD Ports Quarterly
boolector - - -

Requires

Name Value
btor2tools = g20190418
libbtor2parser.so -

Download

Type URL
Mirror pkg.freebsd.org
Binary Package boolector-3.0.0.239_1.txz
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.org
boost-jam-1.71.0.txz Build tool from the boost.org
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-11.0.2.9.2_1.txz 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-0.0.0.0.2018.10.30.01.txz 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
Advertisement
Advertisement