📏 Theory propagator for difference logic using clingo's theory language and C++ API. - View it on GitHub