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]

Reply via email to