Search OW2 Mail Archive:
Advanced Search - Powered by Google

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

sat4j-dev Mailing List Archives by Thread for April 2006

[Date Index]

• New logo proposal for SAT4J, Daniel Le Berre
• [ sat4j-Feature Requests-305060 ] Allow X sudokus generation, noreply
• [ sat4j-Feature Requests-305059 ] Add a legend on generated dot file, noreply
• New feature in SAT4J: dot file generation, Daniel Le Berre
• New methods available in public API, Daniel Le Berre
• [ sat4j-Feature Requests-304693 ] Default settings should generate unique sudokus, noreply
• [ sat4j-Feature Requests-304689 ] Check should work on partial puzzles, noreply
  • <Possible follow-ups>
  • [ sat4j-Feature Requests-304689 ] Check should work on partial puzzles, noreply

Powered by MHonArc.