On 12/28/07, Rupert Swarbrick <rswarbrick at googlemail.com> wrote:
> This just requires a trivial call to delete-duplicates at the
> appropriate place. To find the appropriate place was less than trivial,
> so I reformatted $solve and added comments (apart from the addition of
> the delete-duplicates call, there's no code _changes_ just
> reformatting).
Hi Rupert, thanks for your work on this topic. I've committed the patches
for solve.lisp which you sent & put a test case into the test suite.
Let us know if you have other bug fixes, & keep up the good work.
Robert Dodier