Average-user/LEC

Transformer of propositional logic expressions to CNF and DNF

语言：Haskell · GitHub 星标：4 · Fork：0

话题：cnf · cnf-encoding · haskell · logic

在 GitHub 上查看原仓库