> > I would strongly advise that you look into solver types, if at all, > only after you have strong grasp on the rest of Mercury. > Looking at them now would only complicate learning > all the other aspects of Mercury. > Couldn’t agree more! That might take ten years but there’s no rush...