.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
47
48

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.7.0
	pkgrel = 1
	url = https://bitwuzla.github.io
	arch = x86_64
	license = MIT
	makedepends = cadical>=1.5.0
	makedepends = cmake
	makedepends = cython
	makedepends = doxygen
	makedepends = git
	makedepends = gtest
	makedepends = meson>=0.64
	makedepends = ninja
	makedepends = python-breathe
	makedepends = python-pytest
	makedepends = python-sphinx
	makedepends = python-sphinx-tabs
	makedepends = python-sphinx_rtd_theme
	makedepends = python-sphinxcontrib-bibtex
	makedepends = python>=3.7
	makedepends = symfpu-cvc5
	depends = cryptominisat
	depends = gcc-libs
	depends = glibc
	depends = gmp>=6.1
	depends = kissat
	optdepends = python>=3.7: Python bindings
	provides = libbitwuzlabv.so
	provides = libbitwuzlabb.so
	provides = libbitwuzlals.so
	provides = libbitwuzla.so
	options = !lto
	source = bitwuzla-0.7.0.tar.gz::https://github.com/bitwuzla/bitwuzla/archive/refs/tags/0.7.0.tar.gz
	source = 0001-Use-installed-libraries.patch
	source = 0002-Skip-Test-based-on-timeout.patch
	b2sums = fea8fb59d0dc3e45705e3aef7aa1cac1ebf0c0558e0994ada2806ac9589b3460783ff7b85e0b922d150f594e3d26ebf6cd9858f9b9df24f3850b19908252c188
	b2sums = 58a27c2a748b60651ac3ccc93ef09a1093571615c16987f1fe578e34a9325d24a41ffac8f76ef044f8afc89b12924848de0b79d7d403ccf9e298b7ab349f7bb7
	b2sums = 7728ab77cb234b4427e7cf493817a24bf97440304efb4fc4300125ec470a0bf15430b4416d3c5fdea51dc91441640d05995ed4a08d4c628f97f4d4dc08538d7e

pkgname = bitwuzla

pkgname = bitwuzla-docs
	pkgdesc = Documentation for the Bitwuzla SMT solver
	arch = any
	depends = 
	provides =