el-devo/SAT — pull request #1 by el-devo (2014-04-30 23:01:41+00:00)
Title: Switched uses of Data.Seq to a simple list

Now uses half the memory and runs around .5 to .6 seconds faster than
the old version.