Search OW2 Mail Archive:
Advanced Search - Powered by Google

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

sat4j-dev Mailing List Archives by Date for June 2006

[Thread Index]

28 June 2006
    22:26 [ sat4j-Bugs-304773 ] Expensive Simplification implementation is incorrect noreply
    22:26 [ sat4j-Bugs-305407 ] Minimize memory footprint of SAT solver noreply
    22:26 [ sat4j-Bugs-305407 ] Minimize memory footprint of SAT solver noreply
    21:00 [ sat4j-Bugs-304773 ] Expensive Simplification implementation is incorrect noreply
    20:56 [ sat4j-Bugs-304529 ] profiling problem noreply
    15:00 SAT4J qualified for the SAT Race 2006! Daniel Le Berre

26 June 2006
    23:11 Java 5 vs Java 6 runtime Daniel Le Berre

15 June 2006
    09:41 Bugfix release of SAT4J available Daniel Le Berre

08 June 2006
    14:00 New SAT based sucessful application ... using SAT4J :-) Daniel Le Berre

05 June 2006
    21:04 SAT4J 1.6 released Daniel Le Berre

01 June 2006
    22:29 Some numbers regarding upcoming release 1.6 Daniel Le Berre

Powered by MHonArc.