Improve rule description
[sat-britney.git] / AtomIndex.hs
2012-07-05 Joachim BreitnerMerge branch 'full-dependencies', as that is the branch...
2012-03-21 Joachim BreitnerAdd Arch paramter to Inst
2011-10-20 Joachim BreitnerOptimize indexInst in AtomIndex
2011-08-28 Joachim BreitnerStrictify AtomIndex
2011-08-28 Joachim BreitnerFactor out AtomIndex