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