Hi,
looking at the mailing-list archives I just saw that there was a
discussion about whether the Solver is useful a few years ago. There
were some pros and cons and some people thought it would be useful and
should still be offered for download. Now theoretically being useful and
being actively used might be a difference and also times have changed,
so I would ask those who really use the solver _and_ would like it to be
offered for download for further releases to raise their hands.
The background is that the creation of the solver downloads takes quite
some time for each release in Hamburg RE and IMHO it makes no sense to
spend this time if (almost) noone is using the solver or if people would
agree that simply building from scratch on their machine wouldn't really
hurt them.
Thanks,
Jörg
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]