GitHub repository: manucorujo/Reduction-to-CNF
Primary language: Java
Created: 2021-03-08T19:23:57Z
Description: This assignment consists in implementing a translation from an arbitrary propositional formula α into Conjunctive Normal Form (CNF) and then into a set of constraints that can be processed by clingo to obtain the propositional classical models of α. This is a practice of "Knowledge Representation and Automatic Reasoning - 614G01036 - Universidade da Coruña"