2022-12-17 | John Tsiombikas | resolution don't care option, heuristic to avoid multim... | blob | commitdiff |
2022-12-16 | John Tsiombikas | fixed old bugs | blob | commitdiff | diff to current |
2009-11-20 | John Tsiombikas | added summerhack | blob | commitdiff | diff to current |