By using StableRNGs and setting a seed for each call to `solve`. The latter may be a bit surprising to users, but necessary currently.