PROGRAMS BY plman.sf.net

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