cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
77,650 Commits 1 Branch 0 Tags 554 MiB
3c3d1a8028
Commit Graph

1 Commits

Author SHA1 Message Date
edd
29f399ba60 import logic2cnf - propositional logic solver tool. 
OK jasper@
 2010-10-24 13:55:41 +00:00