BSD Portsmath/plman 2.5.1_2 DragonFly
Propositional Logic sentence shell/interpreter
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- Categories
- java, math
- Package size
- 1114.9 KiB, 1228.1 KiB installed
Description
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.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/plman | 2.5.1_2 |
| FreeBSD | math/plman | 2.5.1_4 |
Install
Binary package:
pkg install plmanFrom DPorts:
cd /usr/dports/math/plman && make install cleanDependencies
Run dependencies 1
No port depends on this one.