CVSROOT: /cvs Module name: ports Changes by: [email protected] 2010/10/24 07:55:41
Log message:
import logic2cnf - propositional logic solver tool.
OK jasper@
Status:
Vendor Tag: edd
Release Tags: edd_20101024
N ports/math/logic2cnf/Makefile
N ports/math/logic2cnf/distinfo
N ports/math/logic2cnf/pkg/PLIST
N ports/math/logic2cnf/pkg/DESCR
No conflicts created by this import
