Improve rule description
[sat-britney.git] / ZArray.hs
2012-07-05 Joachim BreitnerMerge branch 'full-dependencies', as that is the branch...
2012-03-30 Joachim BreitnerFix Show and NFData ZArray
2012-03-30 Joachim BreitnerUse ZArray in IndexSet.Pred (no effect?)
2012-03-26 Joachim BreitnerInline ZArray.toList
2012-03-26 Joachim BreitnerImprove ZArray
2012-03-26 Joachim BreitnerTry to chop off some Bytes in the Conj type