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.