2008-02-15 | Stephan Kulow | move into trunk | blob | commitdiff | raw |
2008-01-29 | Michael Andres | - Prepare ResPool being a singleton ontop of sat::Pool. | blob | commitdiff | raw |
2008-01-22 | Stefan Schubert | remove old solver | blob | commitdiff | raw | diff to current |
2006-03-02 | Stefan Schubert | improved output for solutions, added more possible... | blob | commitdiff | raw | diff to current |
2006-02-25 | Stefan Schubert | solutions for locks added | blob | commitdiff | raw | diff to current |
2006-02-18 | Stefan Schubert | text changes desired by the UI | blob | commitdiff | raw | diff to current |
2006-02-11 | Stefan Schubert | improved text output | blob | commitdiff | raw | diff to current |
2006-02-11 | Stefan Schubert | improved text | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefan Schubert | added Keep Solution; handle parallell installed packages; | blob | commitdiff | raw | diff to current |