mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-19 00:13:33 +00:00
fb16dfecae
Commit b7f05445c0 has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
6 lines
364 B
Plaintext
6 lines
364 B
Plaintext
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 solving under assumptions.
|