elben/sat

SAT solver assistant. Converts propositions (p ^ q) ==> CNF ==> DIMACS CNF files.

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

话题：haskell · sat-solver

在 GitHub 上查看原仓库