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 Download File
vis-2.4.tar.gz 2.22 MB Download File
vis.spec 2.34 KB Download File

Comments for home:leviathanch:asic (0)

Login required, please login or signup in order to comment