james 2292af3206 Use div_prefs and cat_prefs (make the scheduler work again)
Give higher preference to not having leftover judges
Treat 'indifferent' cat_prefs as cost=0 even though its a 2 (on the 0-4 scale)
2010-09-22 18:28:51 +00:00
..
2010-09-03 16:59:05 +00:00
2010-07-13 04:47:47 +00:00
2009-09-27 08:38:44 +00:00
2010-09-03 16:59:05 +00:00
2007-11-27 22:47:06 +00:00