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 <email@example.com>
Generated with FreeBSD Port Tools 0.63