.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

pkgbase = bitwuzla-git
	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.r3.gc23b57f
	pkgrel = 1
	url = https://bitwuzla.github.io
	arch = x86_64
	license = MIT
	checkdepends = gtest
	checkdepends = python-pytest
	makedepends = cmake
	makedepends = cython
	makedepends = doxygen
	makedepends = git
	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
	depends = cryptominisat
	depends = gcc-libs
	depends = glibc
	depends = gmp>=6.1
	optdepends = python>=3.7: Python bindings
	provides = bitwuzla
	provides = bitwuzla-docs
	provides = libbitwuzlabv.so
	provides = libbitwuzlabb.so
	provides = libbitwuzlals.so
	provides = libbitwuzla.so
	conflicts = bitwuzla
	conflicts = bitwuzla-docs
	options = !lto
	source = git+https://github.com/bitwuzla/bitwuzla.git
	b2sums = SKIP

pkgname = bitwuzla-git