Simon Dierl

I have created a solution under https://github.com/tudo-aqua/z3-turnkey. What I did in by build script was: - download Z3 source code + prebuilt libraries - execute the code generation scripts -...

> @no-preserve-root Could you try https://builds.jabref.org/pull/11034/merge? (And share https://github.com/JabRef/jabref/wiki/GSOC-2024-ideas-list among students? 😅 - We also have https://devdocs.jabref.org/teaching.html) I cannot reproduce the bug with today's build, thanks for fixing!

(Im-)mutability seems to be a larger issue with automata-lib 7. Since the automata-lib types are all immutable now, setters can not work as intended any more; also some protected attributes...