開發者 plman.sf.net

PLMan 是一個命題邏輯句子解析器/計算機與變數在 Java 中實現的處理功能，這意味著它在每個 JVM 上運行安裝環境（Unix、Linux、Windows等）。