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.9.1
	pkgrel = 1
	url = https://bitwuzla.github.io
	arch = x86_64
	license = MIT
	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
	depends = cryptominisat
	depends = glibc
	depends = gmp>=6.1
	depends = kissat
	depends = libgcc
	depends = libstdc++
	depends = mpfr
	optdepends = aiger: Utilities for And-Inverter Graphs (AIGs)
	optdepends = cadical: CaDiCaL support
	optdepends = python>=3.7: Python bindings
	provides = libbitwuzlabv.so
	provides = libbitwuzlabb.so
	provides = libbitwuzlals.so
	provides = libbitwuzla.so
	options = !lto
	source = bitwuzla-0.9.1.tar.gz::https://github.com/bitwuzla/bitwuzla/archive/refs/tags/0.9.1.tar.gz
	source = 0000-Use-installed-libraries.patch
	b2sums = b694149cd724ae569345d9f3386c0bcd8ae9f13259d7c10aa8f45d4d273b145c33a81aac30ab61aa70d2d31a0dc0d1847c300307f8ed4b888fa81387117f5086
	b2sums = 96897dada985c929820c7285a4e968977786e58e18b632dff06414ed71572a9139c0dad7a20705c03ff462cc954e5ffccb331d1ead100cd085686a5fc1d79fa3

pkgname = bitwuzla

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