GitHub repository: yifanfyz/BNF-CNF-DPLL-
Primary language: Java
Created: 2022-03-10T07:26:06Z
Description: This lab convert BNF to CNF, also it can calculate DPLL result.