There is an extended version on arXiv: https://arxiv.org/abs/2304.05276 https://arxiv.org/abs/2304.05276. Also, the artifact (Docker image + some guides, CC BY

There is an extended version on arXiv: https://arxiv.org/abs/2304.05276 https://arxiv.org/abs/2304.05276. Also, the artifact (Docker image + some guides, CC BY 4.0) for the OCaml library: https://zenodo.org/record/7824835 https://zenodo.org/record/7824835. Edit: The opam file actually says the license is MIT. I'd be more inclined to believe that over CC BY 4.0 as far as source code licensing goes.