cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
52bfd5c7c9
openbsd-ports/math/logic2cnf
History
edd 29f399ba60 import logic2cnf - propositional logic solver tool. 
OK jasper@
2010-10-24 13:55:41 +00:00
..
pkg import logic2cnf - propositional logic solver tool. 2010-10-24 13:55:41 +00:00
distinfo import logic2cnf - propositional logic solver tool. 2010-10-24 13:55:41 +00:00
Makefile import logic2cnf - propositional logic solver tool. 2010-10-24 13:55:41 +00:00