CVS: cvs.openbsd.org: ports

[Edd Barrett]

CVSROOT:        /cvs
Module name:    ports
Changes by:     e...@cvs.openbsd.org    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