find_problemrule: don't look at the learnt rule multiple times, it may take really...
[platform/upstream/libsolv.git] / src / queue.c
2012-04-16 Michael Schroeder- add map_or and queue_prealloc
2011-07-12 Michael Schroeder- rename all sat_ to solv_
2011-04-18 Michael Schroeder- remove stray semicolon. duh
2009-06-17 Michael Schroeder- beautify
2009-06-16 Michael Schroeder- add queue_insertn, queue_deleten, queue_truncate
2009-06-15 Michael Schroeder- code cleanup
2009-06-15 Klaus KämpfMerge branch 'master' of git@git.opensuse.org:projects...
2009-06-11 Dirk MuellerMerge branch 'master' of git@git.opensuse.org:projects...
2009-06-08 Michael Schroeder- update transaction ordering code
2009-05-26 Michael Schroeder- split problem handling from solver.c
2008-01-09 Michael Schroeder- rename xmalloc/... functions to sat_malloc, as we...
2007-11-08 Michael Schroeder- add a license
2007-10-29 Michael Schroeder- rename queue* to queue_*, inline a bit more
2007-10-02 Klaus Kaempfcurrent state of 'sat-solver'