2009-06-15 | Michael Schroeder | - code cleanup | blob | commitdiff |
2009-06-15 | Klaus Kämpf | Merge branch 'master' of git@git.opensuse.org:projects... | blob | commitdiff | diff to current |
2009-05-26 | Michael Andres | fix to compile | blob | commitdiff | diff to current |
2009-05-26 | Michael Schroeder | - split problem handling from solver.c | blob | commitdiff | diff to current |
2007-11-21 | Michael Andres | use SATSOLVER_ prefix in include guards | blob | commitdiff | diff to current |
2007-11-13 | Stefan Schubert | added more logging | blob | commitdiff | diff to current |
2007-11-08 | Michael Schroeder | - add a license | blob | commitdiff | diff to current |
2007-10-29 | Michael Schroeder | - rename queue* to queue_*, inline a bit more | blob | commitdiff | diff to current |
2007-10-02 | Klaus Kaempf | current state of 'sat-solver' | blob | commitdiff | diff to current |