Search OW2 Mail Archive:
Advanced Search - Powered by Google

Mail Archive Home | sat4j-dev List | January 2008 Index

sat4j-dev Mailing List Archives by Date for January 2008

[Thread Index]

17 January 2008
    22:50 [sat4j-dev] [ sat4j-Bugs-308276 ] objective function displayed is incorrect when wcnf contains weighted unit literals noreply

02 January 2008
    13:05 [sat4j-dev] SAT4J 2.0 RC2 available! Daniel Le Berre

24 December 2007
    13:02 [sat4j-dev] SAT4J 2.0 news Daniel Le Berre

Powered by MHonArc.