parsonsmatt/dpll

An implementation of the DPLL algorithm in Haskell, using an 'exploratory coding' methodology.

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

在 GitHub 上查看原仓库