BSD Portswip/py-omega 0.3.1 NetBSD
Specify and synthesize systems using symbolic algorithms
- System
- NetBSD
- Repository
- pkgsrc-wip
- Maintainer
- [email protected]
- License
- modified-bsd
- Categories
- wip, devel
Description
A package of symbolic algorithms using binary decision diagrams (BDDs) for synthesizing implementations from temporal logic specifications.
In the other systems
The newest version among them is 0.90.4, as upstream numbers it.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| NetBSD | wip/py-omega | 0.3.1 | none known | - | [email protected] | - |
| FreeBSD | games/omega by name | 0.90.4_2 newest | none known | - | [email protected] | - |
| OpenBSD | games/omega by name | 0.90.4p3 newest | no data | - | The OpenBSD ports mailing-list <[email protected]> | - |
| DragonFly | games/omega by name | 0.90.4_2 newest | none known | - | [email protected] | - |
| GhostBSD | games/omega by name | 0.90.4_2 newest | no data | - | [email protected] | - |
Install
From pkgsrc-wip (no binary package):
cd /usr/pkgsrc/wip/py-omega && make install cleanDependency graph
Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.
Dependencies
Run dependencies 3
No port depends on this one.