Deep equality for order.
Correct constructors of order_builder with const& or && identifiers.
Strategy to flatten variable order.
Merge branch 'master' into variable_ordering
Use (*this)(…) rather than operator()(…).
Add new order strategy ‘’variables_per_level’.
Add new order strategy ‘’variables_per_level’.