2011-05-24 | Michael Schroeder | rename satsolver -> libsolv | blob | commitdiff |
2011-03-23 | Michael Schroeder | - add pool_setarchpolicy() method | blob | commitdiff | diff to current |
2009-07-09 | Michael Schroeder | - add support for repository disabling | blob | commitdiff | diff to current |
2007-11-21 | Michael Andres | use SATSOLVER_ prefix in include guards | blob | commitdiff | diff to current |
2007-11-08 | Michael Schroeder | - add a license | blob | commitdiff | diff to current |
2007-10-02 | Klaus Kaempf | current state of 'sat-solver' | blob | commitdiff | diff to current |