Edit

IABSD.fr/ports/math/logic2cnf/pkg

Branch :

  • Show log

    Commit

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