Main work is done by @Patrick Thier (?).
We need to decide what schedulers to keep around as there are currently three:
- Tree pattern matcher
- DAG pattern matcher
- List scheduling
Since the DAG matcher pretty much replaces the tree one (I think), I advocate that we also keep the List scheduling. At least until the DAG matcher is stable/reliable enough to work as the default.
Also do we choose the scheduling algo as a configure flag or as a runtime "-XX" flag.