Edwin Groothuis 7902abf653 [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 <hoshi103@chapman.edu> WWW: http://plman.sourceforge.net/ PR: ports/90277 Submitted by: Nicola Vitale <nivit@email.it>		2005-12-21 04:10:09 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist