Submit Software
  1. Home
  2. Windows
  3. Other
  4. PLMan - Propositional Logic Parser
  5. Download

PLMan - Propositional Logic Parser 2.0

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes

ABOUT 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.).

Related Programs

  • BenQ Laptop to Hotspot Converter Free Trial

    BenQ Laptop to Hotspot Converter converts your BenQ laptop to a wireless hotspot.By this software, your BenQ laptop (Windows platform) is turned into a Wi-Fi hotspot so that you can share the Internet with your second lap

  • Windows-Hosted Cell SDK Free

    A Windows-hosted Cell-BE SDK. This is the standard Cell BE Linux SDK and GCC compilers, but hosted under Windows (Cygwin), with cross-compilation for Cell Linux.

  • Pyana Free

    Pyana is a extension module that allows Python programs to interface with the Apache Software Foundation's Xalan XSLT transformation engine.

  • pw7 Free

    pw7 is a perl-based GnuPG wrapper that facilitates secure, encrypted, granular access-control to an encrypted database of super-user passwords.

  • XCV Free

    XCV is a set of modular XSL transforms which generate an XHTML-compliant Curriculum Vitae from a simple source XML document. Styling and customizing the results are easy, given CSS and/or HTML experience - and are independen

  • Genesis Coupe Navigation Hack Free

    This project is specifically for hacking with the Navigation Present in the 2010 Hyundai Genesis Coupe.This will only work with models equipped with the In-Car Navigation Software.

  • B.E.S.S. Free

    This project has been sponsored by the hungarian G.O.P. program, project ID: G.O.P.-1-1-1-08/1-2008-0015. The aim of the project was to create the prototype of the best possible end-to-end voice over IP encryption based on bi

  • SyncPro Free

    SyncPro is a visualization package targeting on processed mass spectrometry data. It uses synchronization and layering techiques in graphics to simultaneously visualize groups of MS datasets.

  • Generic URL Creator Free

    GUC is a Mozilla Firefox/Mozilla thunderbird extension to generate URLs on the fly from selected text. Just right click selected text and select the URL to open from the context menu. Extermely useful for directory/dictionary

  • LogScanLauncher Free

    A commandline utility that monitors application logfiles and triggers new events once a new entry in the log files satisfies a regular expression. The utility is configurable by amending entries in the application ini file.