fixing some bugs:
[opensuse:sat-solver-moved-to-github.git] / testsuite / deptestomatic.c
2007-10-12 Stephan Kulowfixing some bugs:
2007-10-12 Stephan Kulowmake the use of deptestmatic a bit easier - allow relat...
2007-10-02 Klaus Kaempfcurrent state of 'sat-solver'