BSD Portswip/py-cnfgen 0.7.1 NetBSD
CNF formula generator
- System
- NetBSD
- Repository
- pkgsrc-wip
- Maintainer
- [email protected]
- License
- gnu-gpl-v3
- Categories
- wip, math
Description
CNF formula generator
Install
From pkgsrc-wip (no binary package):
cd /usr/pkgsrc/wip/py-cnfgen && make install cleanDependencies
Run dependencies 2
No port depends on this one.