scala/scala — pull request #4222 by gbasler (2014-12-26 15:53:55+00:00)
Title: Add unit tests for Tseitin CNF conversion and implement missing `equals` method for `Sym`.

As promised in #4078.

The tests already paid off: figured out that I forgot to add `equals` (shame on me)...

Review by @adriaanm