potassco/clingo-dl

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

C++Stars 6Forks 2Watchers 6Open issues 4License MIT License

Details

仓库信息

Ownerpotassco

Homepage—

Last pushed2025-12-02

Last updated2025-12-15

Issues fetched at—

Community at a glance