2007-11-21 | Michael Andres | use SATSOLVER_ prefix in include guards | blob | commitdiff | raw |
2007-11-17 | Michael Schroeder | - changed repo interface a bit, now alloc/free handle... | blob | commitdiff | raw | diff to current |
2007-11-08 | Michael Schroeder | - add a license | blob | commitdiff | raw | diff to current |
2007-10-30 | Michael Schroeder | - add vendor id to solvables | blob | commitdiff | raw | diff to current |
2007-10-26 | Duncan Mac-Vicar P | to follow SUSE tools conventions | blob | commitdiff | raw | diff to current |
2007-10-23 | Michael Schroeder | - switch dependencies from Id pointers to Offsets | blob | commitdiff | raw | diff to current |
2007-10-22 | Michael Schroeder | - first step in getting rid of dependency pointers: | blob | commitdiff | raw | diff to current |
2007-10-02 | Klaus Kaempf | current state of 'sat-solver' | blob | commitdiff | raw | diff to current |