project-krr-telingo Repository for the KRR project on meta-telingo. To see some example encodings, and how to run meta-telingo see the examples directory.