2007-11-29 | Stefan Schubert | using defines; nice debug status :-) | blob | commitdiff |
2007-11-29 | Stefan Schubert | addapted to new sat debug | blob | commitdiff | diff to current |
2007-11-27 | Michael Andres | move libsatsolvber debug output handling to sat::detail... | blob | commitdiff | diff to current |
2007-11-23 | Michael Andres | backup | blob | commitdiff | diff to current |