Programas por plman.sf.net

PLMan es un analizador/calculador de oraciones lógicas proposicionales con variablecapacidad de manejo implementada en Java, lo que significa que se ejecuta en todas lasentorno instalado (Unix, Linux, Windows, etc.).