3 ms·
clauseSat, simpClause and simplify functions do not need special case for []. You can remove the three lines. Even more, clauseSat s l = elem l s, simpClause c
by sold 15y ago
clauseSat, simpClause and simplify functions do not need special case for []. You can remove the three lines. Even more, clauseSat s l = elem l s, simpClause c l = filter (/= -l) c.
- gatlin 15y agoNoted and implemented. This has been a most instructive day for me re: Haskell. Thank you very much.