Comment by tannhaeuser

You can also try the linked simple frontend [1] to generate a solver for your problem (bring-you-own-endpoint style) or invoke the demo solver (local-only, in-browser) from there.

[1]: https://quantumprolog.sgml.net/llm-demo/part2.html