📏 Theory propagator for difference logic using clingo's theory language and C++ API.
Primary LanguageC++MIT LicenseMIT