# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = symbiyosys-git
pkgbase = symbiyosys-git
xdata = pkgtype=pkg
pkgver = r781.1617168-1
pkgdesc = A front-end driver program for Yosys-based formal hardware verification flows
url = https://github.com/YosysHQ/sby
builddate = 1769458854
packager = lilac (on behalf of Yichao Yu) <yyc1992@gmail.com>
size = 741583
arch = any
license = custom:ISC
conflict = symbiyosys
provides = symbiyosys
depend = python
depend = yosys-git
optdepend = yices: solving using yices2
optdepend = z3: solving using z3
optdepend = boolector: solving using boolector
makedepend = git
