hhoikoo/hs-knowledge

A library written in Haskell that determines whether a logical argument is valid through either Model Checking or DPLL Algorithm

语言：Haskell · GitHub 星标：3 · Fork：1

话题：dpll-algorithm · haskell · model-checking

在 GitHub 上查看原仓库