multithreaded solutions/2

[Fergus Henderson]

Hi Tom,

I had a look at the changes you made to the implementation of
solutions/2 in std_util.m.  I'm not entirely happy with the performance
characteristics of your algorithm: the problem is that wrapping
previously efficient code inside solutions/2 may make it inefficient.
This sort of non-local effect is something to be avoided if at all
possible.

I haven't looked at the details, so this suggestion might be bogus --
but can't we handle resetting the solutions_hp in an analagous manner
to how we handle resetting the hp?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.