2010-11-11 | Klaus Kämpf | Merge branch 'master' of gitorious.org:opensuse/sat... | blob | commitdiff |
2010-05-28 | Michael Schroeder | - add SOLVER_SET bits to tell solver which properties... | blob | commitdiff |
2009-06-22 | Klaus Kämpf | evr doesn't change the Pool: more constness | blob | commitdiff | diff to current |
2008-01-14 | Michael Schroeder | - add evrcmp_str for ma | blob | commitdiff | diff to current |
2007-12-21 | Michael Schroeder | - add evrmatch | blob | commitdiff | diff to current |
2007-12-10 | Michael Schroeder | - add evrcmp mode parameter | 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-20 | Michael Matz | I need C++ here too. | blob | commitdiff | diff to current |
2007-10-02 | Klaus Kaempf | current state of 'sat-solver' | blob | commitdiff | diff to current |