1. Implement value ordering, manual 4.3.2 page 38

2. Produce lecture on variable & value ordering in choco

3. Do experiments with & without heuristics

4. Introduce the edge finding constraint