MaRDI QIDQ5974240swMATHFDO
Official website https://arxiv.org/abs/2303.10118
Source code repository https://github.com/potassco/clingraph
This page was built for software: clingraph