plman-2.5.1_2.txz


Advertisement

Description

plman - Propositional Logic sentence shell/interpreter

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Quarterly i386
Package filename plman-2.5.1_2.txz
Package name plman
Package version 2.5.1
Package release 2
Package architecture i386
Package type txz
Category java math
Homepage http://plman.sourceforge.net/
License -
Maintainer nivit@FreeBSD.org
Download size 1.09 MB
Installed size 1.20 MB
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.
WWW: http://plman.sourceforge.net/
Options:
- DOCS: on

Alternatives

Package Version Architecture Repository
plman-2.5.1_2.txz 2.5.1 amd64 FreeBSD Ports Quarterly
plman-2.5.1_2.txz 2.5.1 i386 FreeBSD Ports Latest
plman-2.5.1_2.txz 2.5.1 amd64 FreeBSD Ports Latest
plman - - -

Requires

Name Value
openjdk8 = 8.202.8

Download

Type URL
Mirror pkg.freebsd.org
Binary Package plman-2.5.1_2.txz
Source Package math/plman

Install Howto

Install plman txz package:

# pkg install plman

See Also

Package Description
pload-0.9.5_4.txz X11 program to display network traffic graphs
plone-4.3.9.txz Plone Content Management System
plopfolio-0.1.0_10.txz Free clone of KlipFolio for GNUstep
plor-0.3.3_1.txz Alpha-release reader for reading SOUP and QWK packets
ploticus-2.40_10.txz Generates plots and graphs from data
ploticus-nox11-2.40_10.txz Generates plots and graphs from data (no X11 required)
plotutils-2.6_8,1.txz Plotting library and toolkit
plplot-5.15.0.txz Scientific plotting package
plplot-ada-5.15.0_1.txz Ada bindings for PLplot
plugdaemon-2.5.5_1.txz Plug proxy daemon, forwards TCP/IP connections
plugger-5.1.5.txz Multimedia front-end plugin for Mozilla or Opera
pluma-1.22.2.txz Small but powerful text editor for MATE Desktop Environment
plwm-2.6a.txz Window manager construction kit
plzip-1.8.txz Parallel, lossless data compressor based on the LZMA algorithm
pm-lib-20091202_1.txz Collection of procmail plug-in modules
Advertisement
Advertisement