BSD Portswip/ltl2ba 1.3 NetBSD
Fast translation from LTL formulae to Buchi automata
- System
- NetBSD
- Repository
- pkgsrc-wip
- Maintainer
- [email protected]
- License
- gnu-gpl-v2
- Categories
- wip, math
Description
Fast translation from LTL formulae to Buchi automata
In the other systems
| System | Port | Version |
|---|---|---|
| NetBSD | wip/ltl2ba | 1.3 |
| FreeBSD | math/ltl2ba | 1.3 |
| DragonFly | math/ltl2ba | 1.3 |
| HardenedBSD | math/ltl2ba | 1.3 |
| GhostBSD | math/ltl2ba | 1.3 |
Install
From pkgsrc-wip (no binary package):
cd /usr/pkgsrc/wip/ltl2ba && make install cleanDependencies
No port depends on this one.