Improve rule description
[sat-britney.git] / LitSat.hs
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 BreitnerGet the boolean logic of conflicts right
2011-07-22 Joachim BreitnerTesting relaxation
2011-07-22 Joachim BreitnerPrint suite changes / minimal core
2011-07-22 Joachim BreitnerPicosat runner
2011-07-22 Joachim BreitnerInitial check-in