# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = cadical
pkgbase = cadical
xdata = pkgtype=pkg
pkgver = 3.0.1-2
pkgdesc = A simplified, fast and reliable CDCL SAT solver
url = https://github.com/arminbiere/cadical
builddate = 1791669884
packager = Felix Yan <felixonmars@archlinux.org>
size = 3402117
arch = x86_64
license = MIT
depend = glibc
depend = libgcc
depend = libstdc++
optdepend = 7zip: 7z compressed input/output support
optdepend = bzip2: bzip2 compressed input/output support
optdepend = gzip: gzip compressed input/output support
optdepend = xz: xz and LZMA compressed input support
makedepend = git
checkdepend = gzip
checkdepend = zlib
