Search OW2 Mail Archive:
Advanced Search - Powered by Google

Mail Archive Home | sat4j-dev List | May 2006 Index

sat4j-dev Mailing List Archives by Date for May 2006

[Thread Index]

31 May 2006
    12:20 Release process for 1.6 started Daniel Le Berre
    07:05 [ sat4j-Bugs-305407 ] Minimize memory footprint of SAT solver noreply

28 May 2006
    08:14 Kodkod project binaries available Daniel Le Berre

24 May 2006
    22:16 [ sat4j-Bugs-304713 ] Avoid OutOfMemory errors! noreply
    22:14 [ sat4j-Bugs-304773 ] Expensive Simplification implementation is incorrect noreply
    22:14 [ sat4j-Bugs-304526 ] Improve and fix periodic constraint cleanup noreply
    22:14 [ sat4j-Bugs-304895 ] Memory leak in PseudoBoolean solvers with constraint learning noreply
    22:12 [ sat4j-Bugs-304527 ] 60% of the time of the PB solver is spent in Class Conflict noreply
    22:10 [ sat4j-Feature Requests-305059 ] Add a legend on generated dot file noreply

23 May 2006
    23:10 Regarding upcoming release 1.6 Daniel Le Berre
    01:44 subscription xibai

Powered by MHonArc.