LogoopenSUSE Build Service > Projects
Sign Up | Log In

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

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

Source Files

Filename Size Changed Actions
patch_installdir.patch 795 Bytes about 1 year ago Download File
vis-2.4.tar.gz 2.22 MB about 1 year ago Download File
vis.spec 2.34 KB about 1 year ago Download File

Comments for home:leviathanch:asic (0)