.SRCINFO


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

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 = 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 =