# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = symbiyosys-git
pkgbase = symbiyosys-git
xdata = pkgtype=pkg
pkgver = r747.dbbc25a-1
pkgdesc = A front-end driver program for Yosys-based formal hardware verification flows
url = https://github.com/YosysHQ/sby
builddate = 1759436490
packager = lilac (on behalf of Yichao Yu) <yyc1992@gmail.com>
size = 714579
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
