GitHub repository: nicoloi/Risoluzione
Created: 2024-01-23T17:39:13Z
Description: Implementazione del principio di risoluzione per la logica proposizionale, con le classi che rappresentano il letterale, la clausola e l'insieme di clausole