# Generated by makepkg 6.1.0
# using fakeroot version 1.36
pkgname = cvc5
pkgbase = cvc5
xdata = pkgtype=pkg
pkgver = 1.2.0-1
pkgdesc = An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems
url = https://github.com/cvc5/cvc5
builddate = 1725890495
packager = AUR Builder <luca+aurbuilder@acul.me>
size = 21348548
arch = x86_64
license = BSD3
conflict = cvc5-bin
conflict = cvc5-bestperformance
provides = cvc5=1.2.0
depend = gmp
depend = cadical
depend = libpoly
depend = symfpu-cvc5
depend = libedit
depend = libbsd
optdepend = python-cvc5: Python bindings for cvc5
makedepend = bash
makedepend = gcc
makedepend = cmake
makedepend = python3
makedepend = python-tomli
makedepend = python-pyparsing
makedepend = python-scikit-build
makedepend = cython
makedepend = java-environment
makedepend = mold
makedepend = python-pexpect
checkdepend = cmake
