Improve rule description
[sat-britney.git] / ClauseSat.hs
2012-07-09 Joachim BreitnerFix cnf2Clauses
2012-07-05 Joachim BreitnerMerge branch 'full-dependencies', as that is the branch...
2012-03-26 Joachim BreitnerTry to chop off some Bytes in the Conj type
2012-03-22 Joachim BreitnerRefactor: Introduce SATProb type
2012-03-21 Joachim BreitnerRevert "Turn Producer into a newtype"
2012-03-21 Joachim BreitnerTurn Producer into a newtype
2011-10-21 Joachim BreitnerMove "build" into runClause*
2011-10-20 Joachim BreitnerDo not sort clauses
2011-10-17 Joachim BreitnerMake sure clauses2CNF is strict
2011-10-17 Joachim BreitnerChange CNF representation to something more compact
2011-10-05 Joachim BreitnerMake clauses2CNF not generate lists (does not help...
2011-10-05 Joachim BreitnerMake CNF not carry the Clause any more
2011-10-05 Joachim BreitnerExtend list fusion to clauses2CNF (little effect)
2011-08-13 Joachim BreitnerRemove redundand imports
2011-08-13 Joachim BreitnerRemove redundand type synonym
2011-08-13 Joachim BreitnerAssociate original Clause with CNF line
2011-08-10 Joachim BreitnerAvoid duplicate rules in unsatisfiability output
2011-08-07 Joachim BreitnerPut Index datatype in own module
2011-07-29 Joachim BreitnerGPL, because of libdpkg inclusion
2011-07-28 Joachim BreitnerExplicitly pass maxVar around everywhere
2011-07-26 Joachim BreitnerUse runPicosatPMINMAX
2011-07-26 Joachim BreitnerCode cleanup
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 BreitnerStore DIMACS line as ByteString from the start
2011-07-24 Joachim BreitnerList wanted/unwanted packages
2011-07-24 Joachim BreitnerrunPicosat is now in Picosat
2011-07-24 Joachim BreitnerMake use of Atoms as Ints in allAtoms
2011-07-23 Joachim BreitnerSlightly optimize allAtoms
2011-07-23 Joachim BreitnerUse HashMap
2011-07-23 Joachim BreitnerMake outputs configurable
2011-07-23 Joachim BreitnerSeperate ClauseSat and Picosat modules