2008-02-18 | Michael Andres | return error, if *2solv helpers do |
commit | commitdiff | tree |
2008-02-05 | Michael Andres | fix segv when str2id(pool,NULL) |
commit | commitdiff | tree |
2008-01-29 | Michael Andres | remove superfluous Pool argument in policy_illegal_... |
commit | commitdiff | tree |
2007-12-10 | Michael Andres | include stdio |
commit | commitdiff | tree |
2007-11-21 | Michael Andres | use SATSOLVER_ prefix in include guards |
commit | commitdiff | tree |
2007-11-20 | Michael Andres | added Makefile.cvs |
commit | commitdiff | tree |
2007-11-13 | Michael Andres | fix to compile |
commit | commitdiff | tree |