logic2cnf

Branch :

Log

Author	Commit	Date	CI	Message
	29f399ba	2010-10-24 13:55:41		import logic2cnf - propositional logic solver tool. OK jasper@