freebsd-ports/math/plman/distinfo

MD5 (plman2_5_1.zip) = c10b7e110a266360edfc72be23df7f50
SHA256 (plman2_5_1.zip) = b558d6b1afbdc0ed06a0c920ff8bdc7b7502c6ced968302300074c7867111a88
SIZE (plman2_5_1.zip) = 1372138
[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			`MD5 (plman2_5_1.zip) = c10b7e110a266360edfc72be23df7f50`
			`SHA256 (plman2_5_1.zip) = b558d6b1afbdc0ed06a0c920ff8bdc7b7502c6ced968302300074c7867111a88`
			`SIZE (plman2_5_1.zip) = 1372138`