GitHub repository: potassco/clingoDL
Primary language: C++
Description: 📏 Theory propagator for difference logic using clingo's theory language and C++ API.