added docs for order method in Orderings;
The order method is now tried by try0.
This adds some documentation for users of try0 that stumble over the order method
Description
Description
Details
Details
- Provenance
lukasstevens Authored on - Parents
- rISABELLE3b4bbc5b7c46: tuned error message;
- Branches
- Unknown
- Tags