Package Details: sby-nightly 1:20220627_157bb15-1

Git Clone URL: https://aur.archlinux.org/sby-nightly.git (read-only, click to copy)
Package Base: sby-nightly
Description: Front-end for Yosys-based formal verification flows
Upstream URL: https://github.com/YosysHQ/sby
Licenses: custom:ISC
Conflicts: symbiyosys-git
Replaces: symbiyosys-nightly
Submitter: aki-nyan
Maintainer: aki-nyan
Last Packager: aki-nyan
Votes: 0
Popularity: 0.000000
First Submitted: 2022-02-19 07:41 (UTC)
Last Updated: 2022-06-27 00:00 (UTC)