GitHub repository: Emphiro/cnfBuilder
Primary language: Java
Created: 2023-02-04T00:07:49Z
Description: Takes logical expressions and transform then into their respective conjunctive normal form