VIS, a system for verifying and synthesizing finite-state systems.
VIS builds on GLU, a collection of BDD packages and low-level utilities.
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:leviathanch:asic/vis && cd $_
- Create Badge
Refresh
Refresh
Source Files
Filename | Size | Changed |
---|---|---|
patch_installdir.patch | 0000000795 795 Bytes | |
vis-2.4.tar.gz | 0002322644 2.22 MB | |
vis.spec | 0000002392 2.34 KB |
Comments 0