Re: [polyml] Poly/ML software directory

2020-06-04 Thread David Matthews
Thank you everyone for your entries. That's very useful. I'm sure there are other projects out there that deserve to be included. It doesn't matter if they're not currently being maintained; they might provide the starting point for someone else. Please have a look at the current list and

Re: [polyml] Poly/ML software directory

2020-05-25 Thread David Matthews
On 25/05/2020 14:48, Makarius wrote: On 25/05/2020 15:36, David Matthews wrote: This is a bit of an experiment and I don't know how useful it will turn out to be.  The web pages themselves could do with being improved but they should be in a state for beta-testing.  I've selected fields based

Re: [polyml] Poly/ML software directory

2020-05-25 Thread Makarius
On 25/05/2020 15:36, David Matthews wrote: > > This is a bit of an experiment and I don't know how useful it will turn out to > be.  The web pages themselves could do with being improved but they should be > in a state for beta-testing.  I've selected fields based on what I think would > be