TableauxProofTool |
Sunday, 14 December 2014 14:45 | |||
TableauxProofTool è un dimostratore automatico di teoremi della logica proposizionale basato sul metodo dei tableaux semantici e le sue varianti. Realizzato per il progetto relativo all'esame di Logica Computazionale, è sviluppato in linguaggio Python (librerie grafiche Qt) e rilasciato in licenza GPL. Il pacchetto dell'applicazione (versione 0.1.1) compilato per processori x86_64 è scaricabile dal seguente link su SourceForge. I sorgenti su GitHub sono reperibili al seguente link. Per ulteriori informazioni è possibile leggere la seguente relazione tecnica in formato pdf.
|