开发者 plman.sf.net

PLMan 是一个命题逻辑句子解析器/计算器与变量在 Java 中实现的处理功能，这意味着它在每个 JVM 上运行安装环境（Unix、Linux、Windows 等）。