द्वारा कार्यक्रम plman.sf.net
-
PLMan - Propositional Logic Parser मुफ्त
PLMan चर के साथ एक प्रस्तावात्मक तर्क वाक्य पार्सर/कैलकुलेटर हैजावा में कार्यान्वित हैंडलिंग क्षमता, जिसका अर्थ है कि यह हर जेवीएम पर चलता हैस्थापित वातावरण (यूनिक्स, लिनक्स, विंडोज, आदि)।