GitHub repository: LC2022-1/practica3
Primary language: Haskell
Created: 2021-12-15T03:58:48Z
Description: Resolución y forma 3CNF