Programmi di plman.sf.net

PLMan è un parser/calcolatrice di frasi logiche proposizionali con variabilecapacità di gestione implementata in Java, il che significa che viene eseguita su ogni JVMambiente installato (Unix, Linux, Windows, ecc.).