Revised external constraint solver examples. Simplified quicksort.