2007-11-05 | Michael Andres | adapt to changed libsatsolver API | tree | commitdiff |
2007-10-29 | Michael Andres | adapt to satsolver API changes | tree | commitdiff |
2007-10-25 | Stefan Schubert | remove pool_source | tree | commitdiff |
2007-10-25 | Stefan Schubert | copying result back to zypp pool | tree | commitdiff |
2007-10-25 | Stefan Schubert | generate queue | tree | commitdiff |
2007-10-23 | Stefan Schubert | added parameter SATpool | tree | commitdiff |
2007-10-23 | Stefan Schubert | mainframe for SAT-sovler | tree | commitdiff |