Search OW2 Mail Archive:
Advanced Search - Powered by Google

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

sat4j-dev Mailing List Archives by Date for April 2006

[Thread Index]

26 April 2006
    09:54 New logo proposal for SAT4J Daniel Le Berre

25 April 2006
    18:00 [ sat4j-Feature Requests-305060 ] Allow X sudokus generation noreply
    17:47 [ sat4j-Feature Requests-305059 ] Add a legend on generated dot file noreply
    16:47 New feature in SAT4J: dot file generation Daniel Le Berre

19 April 2006
    12:07 New methods available in public API Daniel Le Berre

06 April 2006
    20:50 [ sat4j-Feature Requests-304689 ] Check should work on partial puzzles noreply
    20:49 [ sat4j-Feature Requests-304693 ] Default settings should generate unique sudokus noreply
    20:48 [ sat4j-Feature Requests-304689 ] Check should work on partial puzzles noreply

Powered by MHonArc.