PLMan - Propositional Logic Parser

Brought to you by: delta88

Downloads: 0 This Week

Last Update: 2013-02-27

Get an email when there's a new version of PLMan - Propositional Logic Parser

PLMan is a propositional logic sentence parser/calculator with variable
handling capability implemented in Java, which means that it runs on every JVM
installed environment (Unix, Linux, Windows, etc.).

Project Activity

See All Activity >

Follow PLMan - Propositional Logic Parser

PLMan - Propositional Logic Parser Web Site

Other Useful Business Software

Full-stack observability with actually useful AI | Grafana Cloud Icon

Full-stack observability with actually useful AI | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.

Create free account

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of PLMan - Propositional Logic Parser!

Additional Project Details

Registered

2003-12-19

Report inappropriate content

Full-stack observability with actually useful AI | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.

Create free account

Recommended Projects

Logic Calculator
A Calculator to perform logical operations
eCryptfs Parser
eCryptfs Parser is a GUI for Linux and Windows that recursively parses the headers of every eCryptfs file found in a given directory. It will tell you what encryption algorithm was used, the original filesize, signature used etc
C-logic
This is a C source code scanner based on symbolic logic. It analyses C source code (especially that of the Linux kernel, at which it is aimed) for programming errors and vulnerabilities. The tests are defined by the user.
INI Parser Library
An INI file parser that can read, edit and create large INI files. Usable under Microsoft Windows, DOS, Linux, etc. Supported languages are C, C++, Visual Basic, Java, TCL, Perl, Python, etc (DLL and SWIG capable).
csv-parser
Streaming csv parser inspired by binary-csv that aims to be faster