2007-11-21 | Michael Andres | use SATSOLVER_ prefix in include guards | blob | commitdiff | raw |
2007-11-08 | Michael Schroeder | - add a license | blob | commitdiff | raw | diff to current |
2007-10-30 | Michael Schroeder | - add vendor change policy (but fixes no test case... | blob | commitdiff | raw | diff to current |