2008-04-29 | Stefan Schubert | cleanup in return values of doUpgrade and doUpdate | blob | commitdiff | raw |
2008-04-21 | Stefan Schubert | - removed unneeded Solutions | blob | commitdiff | raw | diff to current |
2008-04-18 | Stefan Schubert | new call resolveQueue added | blob | commitdiff | raw | diff to current |
2008-04-15 | Stefan Schubert | moved SATResolver to solver/details | blob | commitdiff | raw | diff to current |