Bug 90277 - [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter
Summary: [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: freebsd-ports-bugs (Nobody)
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-12-12 13:30 UTC by Nicola Vitale
Modified: 2005-12-21 04:10 UTC (History)
0 users

See Also:


Attachments
plman-2.5.1.shar (3.42 KB, text/plain)
2005-12-12 13:30 UTC, Nicola Vitale
no flags Details

Note You need to log in before you can comment on or make changes to this bug.
Description Nicola Vitale 2005-12-12 13:30:02 UTC
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/

Generated with FreeBSD Port Tools 0.63
Comment 1 Edwin Groothuis freebsd_committer 2005-12-21 04:10:18 UTC
State Changed
From-To: open->closed

Committed, thanks!