I've tried to email the Screamer Plus author. I've not been able to locate a current contact to ask about licensing. But, this package adds some richness to the types and constraints available to th3 base package, which is kind of nice. This would take a bit of work to re-implement they seem to have done a deep dive. Do you have thoughts? I've done minor decrufting and is working on modern SBCL.

[danlentz]

[nikodemus]

I exchanged a couple of emails with him in 2010, and he was open to it, and the University had some concerns about maintenance and such but no objections - but things went silent before anyone gave actual approval.

Since the copyright assignment is to the University of Aberdeen, maybe contacting someone in their CS department is the best way forward.

...but to be clear: I don't have any cycles to spend on the Screamer right now.

[swapneils]

I actually contacted Dr. Sleeman again in June 2023. He wasn't clear on why, but stated that it wasn't viable.

Not sure if he has contact with Simon White anymore either, which would block discussion of the issues that impede switching this to the MIT license.

I haven't actually taken a look at the Screamer-plus code, so maybe I'll have bandwidth to figure out the features from first principles someday and add them into https://github.com/swapneils/screamer, but not anytime soon.

[danlentz]

If it’s useful, I have a repo at GitHub.com/danlentz/screamer-plus that includes some cleanups, decrufting, and more modern capabilities, as well as a few additional bits and pieces I’ve come across. I got no response from any emails about permission to release though. Best, Dan

…

On Sun, Dec 1, 2024 at 4:55 PM Swapneil Singh ***@***.***> wrote: I actually contacted Dr. Sleeman again in June 2023. He wasn't clear on why, but stated that it wasn't viable. Not sure if he has contact with Simon White anymore either, which would block discussion of the issues that impede switching this to the MIT license. I haven't actually taken a look at the Screamer-plus code, so maybe I'll have bandwidth to figure out the features from first principles someday and add them into https://github.com/swapneils/screamer, but not anytime soon. — Reply to this email directly, view it on GitHub <#32 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAACDSREAZXWJRQUO6TMUUT2DOATNAVCNFSM6AAAAABS2DXXJWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDKMJQGI3DOMRSGI> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[danlentz]

Sorry. More modern _compatibilities_.

…

On Thu, Dec 5, 2024 at 4:57 AM Dan Lentz ***@***.***> wrote: If it’s useful, I have a repo at GitHub.com/danlentz/screamer-plus that includes some cleanups, decrufting, and more modern capabilities, as well as a few additional bits and pieces I’ve come across. I got no response from any emails about permission to release though. Best, Dan On Sun, Dec 1, 2024 at 4:55 PM Swapneil Singh ***@***.***> wrote: > I actually contacted Dr. Sleeman again in June 2023. He wasn't clear on > why, but stated that it wasn't viable. > > Not sure if he has contact with Simon White anymore either, which would > block discussion of the issues that impede switching this to the MIT > license. > > I haven't actually taken a look at the Screamer-plus code, so maybe I'll > have bandwidth to figure out the features from first principles someday and > add them into https://github.com/swapneils/screamer, but not anytime > soon. > > — > Reply to this email directly, view it on GitHub > <#32 (comment)>, > or unsubscribe > <https://github.com/notifications/unsubscribe-auth/AAACDSREAZXWJRQUO6TMUUT2DOATNAVCNFSM6AAAAABS2DXXJWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDKMJQGI3DOMRSGI> > . > You are receiving this because you authored the thread.Message ID: > ***@***.***> >

[swapneils]

Not taking a look (to avoid copyright issues with replicating any features into screamer itself), but will try to remember referencing this when putting together docs in the new screamer repo.

Thanks for fixing it up!