language ESSENCE' find such that maximising minimising max min given letting parameter indexed by be of is domain forall exists sum int matrix alldiff