Downgrade jqwik to 1.9.3 and document QuickTheories replacement plan#201

bernardladenthin merged 3 commits into

mainbernardladenthin/java-llama.cpp:mainfrom

claude/gifted-edison-D99NSbernardladenthin/java-llama.cpp:claude/gifted-edison-D99NSCopy head branch name to clipboard