K 10
svn:author
V 5
edwin
K 8
svn:date
V 27
2005-12-21T04:10:09.000000Z
K 7
svn:log
V 529
[NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter
PLMan, or Propositional LogicMan, is a user-friendly and powerful
propositional logic (sometimes called sentential logic or
propositional calculus) sentence shell/interpreter written
in Java, capable of handling many existing propositional
systems of propositional logic, especially the important
ones.
Author: Takayuki Hoshi
WWW: http://plman.sourceforge.net/
PR: ports/90277
Submitted by: Nicola Vitale
END