- move rest of rule functions from solver.c to rules.c
[platform/upstream/libsolv.git] / src / poolarch.h
2007-11-21 Michael Andresuse SATSOLVER_ prefix in include guards
2007-11-08 Michael Schroeder- add a license
2007-10-02 Klaus Kaempfcurrent state of 'sat-solver'