[submodule "extern/qfr"]
    path = extern/qfr
    url = https://github.com/cda-tum/qfr.git
    branch = main
    shallow = true
