Improve rule description
[sat-britney.git] / PrettyPrint.hs
2012-07-05 Joachim BreitnerMerge branch 'full-dependencies', as that is the branch...
2012-03-21 Joachim BreitnerAdd Arch paramter to Inst
2011-08-28 Joachim BreitnerStrictify AtomIndex
2011-08-28 Joachim BreitnerFactor out AtomIndex
2011-08-14 Joachim BreitnerAttempt for full dependency handling (too slow)
2011-08-07 Joachim BreitnerAlso use IntMap for AtomIndex
2011-08-07 Joachim BreitnerPut Index datatype in own module
2011-07-29 Joachim BreitnerGPL, because of libdpkg inclusion
2011-07-25 Joachim BreitnerMake sure all binary packages of a build migrate together
2011-07-25 Joachim BreitnerUse msuncore for relaxation run as well
2011-07-25 Joachim BreitnerGet the boolean logic of conflicts right
2011-07-24 Joachim BreitnerFix Clause pretty printing
2011-07-24 Joachim BreitnerMaintain an explicit atom numbering
2011-07-22 Joachim BreitnerInitial check-in