Programma's van plman.sf.net

PLMan is een propositionele logica zin parser / rekenmachine met variabelehandling vermogen geïmplementeerd in Java, wat betekent dat het draait op elke JVMgeïnstalleerde omgeving (Unix, Linux, Windows, enz.).