.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

pkgbase = cvc5-bestperformance
	pkgdesc = An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems configured for highest performance.
	pkgver = 1.2.0
	pkgrel = 1
	url = https://github.com/cvc5/cvc5
	arch = x86_64
	license = GPL3
	makedepends = bash
	makedepends = gcc
	makedepends = cmake
	makedepends = python3
	makedepends = python-tomli
	makedepends = python-pyparsing
	makedepends = python-scikit-build
	makedepends = cython
	makedepends = java-environment
	makedepends = mold
	makedepends = python-pexpect
	depends = cryptominisat
	depends = glpk-cut-log
	depends = symfpu-cvc5
	depends = libpoly
	depends = libedit
	depends = cadical
	depends = cln
	depends = libbsd
	depends = gmp
	optdepends = python-cvc5: Python bindings for cvc5
	provides = cvc5=1.2.0
	conflicts = cvc5-bin
	conflicts = cvc5
	source = https://github.com/cvc5/cvc5/archive/refs/tags/cvc5-1.2.0.tar.gz
	sha256sums = 7877b1f89f8b6a6bcc643d9ab1c60535911f6a30e32233eafa9db8a3eae5e34e

pkgname = cvc5-bestperformance