blob: cdccd5a9e8c1e68f48040c433d85c14c4249ab68 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
pkgbase = bitwuzla
pkgdesc = SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations
pkgver = 0.5.0
pkgrel = 1
url = https://bitwuzla.github.io
arch = x86_64
license = MIT
checkdepends = gtest
checkdepends = python-pytest
makedepends = cadical>=1.5.0
makedepends = cmake
makedepends = cython
makedepends = doxygen
makedepends = meson>=0.64
makedepends = ninja
makedepends = python-breathe
makedepends = python-sphinx
makedepends = python-sphinx-tabs
makedepends = python-sphinx_rtd_theme
makedepends = python-sphinxcontrib-bibtex
makedepends = python>=3.7
makedepends = python-sphinx
makedepends = symfpu-cvc5
depends = gcc-libs
depends = glibc
depends = gmp>=6.1
depends = kissat
optdepends = cryptominisat5: Support for the CryptoMiniSat SAT solver
optdepends = python>=3.7: Python bindings
provides = libbitwuzlabv.so
provides = libbitwuzlabb.so
provides = libbitwuzlals.so
provides = libbitwuzla.so
options = !lto
source = bitwuzla-0.5.0.tar.gz::https://github.com/bitwuzla/bitwuzla/archive/refs/tags/0.5.0.tar.gz
source = 0001-Use-installed-libraries.patch
source = 0002-Skip-Test-based-on-timeout.patch
b2sums = 7fa955bc4a086860f4882e173c5ceb27e03ce0ea1c6cb4561e941af3f7945a258b817dc3cd240241e5b999415c6c41aca41f642d5447611ffd490ed74a489061
b2sums = 0ebea6754d4fc270c268d4088af9bcb93596fe5ec7b1065f83d39e5c56eef93d567592443ec0a460a34bf5829b5b54f2c9971644f6fbbebbf9c43a1b440ac54d
b2sums = 7728ab77cb234b4427e7cf493817a24bf97440304efb4fc4300125ec470a0bf15430b4416d3c5fdea51dc91441640d05995ed4a08d4c628f97f4d4dc08538d7e
pkgname = bitwuzla
pkgname = bitwuzla-doc
pkgdesc = Documentation for the Bitwuzla SMT solver
arch = any
depends =
|