plug weakrulemap memory map if the solver gets re-run
[platform/upstream/libsolv.git] / src / poolid_private.h
2013-10-16 Michael Schroederremove trailing whitespace
2011-05-24 Michael Schroederrename satsolver -> libsolv
2007-12-04 Michael Schroeder- switch to new solv format using schemata
2007-11-21 Michael Andresuse SATSOLVER_ prefix in include guards
2007-11-16 Michael MatzReduce C&P code by factoring out the uniquifying string...
2007-11-08 Michael Schroeder- add a license
2007-10-02 Klaus Kaempfcurrent state of 'sat-solver'