BSD Portswip/vis 2.1 NetBSD
Classic logic verification tool
- System
- NetBSD
- Repository
- pkgsrc-wip
- Maintainer
- [email protected]
- Categories
- wip, cad
Description
VIS is a system for formal verification, synthesis, and simulation of finite state systems. It has been developed jointly at the University of California at Berkeley, the University of Colorado at Boulder, and more recently at the University of Texas, Austin.
In the other systems
| System | Port | Version |
|---|---|---|
| NetBSD | wip/vis | 2.1 |
| FreeBSD | editors/vis | 0.9 |
| OpenBSD | editors/vis | 0.9p1 |
| HardenedBSD | editors/vis | 0.9 |
| GhostBSD | editors/vis | 0.9 |
Install
From pkgsrc-wip (no binary package):
cd /usr/pkgsrc/wip/vis && make install cleanDependencies
Run dependencies 1
No port depends on this one.