Programmes par plman.sf.net

PLMan est un parser/calculatrice de phrase logique propositionnelle avec variablecapacité de traitement implémentée en Java, ce qui signifie qu’elle fonctionne sur chaque JVMenvironnement installé (Unix, Linux, Windows, e