VIS, a system for verifying and synthesizing finite-state systems.

Edit Package vis

VIS builds on GLU, a collection of BDD packages and low-level utilities.

  • Download 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
openSUSE Build Service is sponsored by