This program uses HypBinRes+eq, the procedure defined in [1] to augment a grounded ASP program (in gringo's output format) with additional mutual exclusion (ie binary) constraints.
[1] Bacchus, Fahiem. "Enhancing Davis Putnam with extended binary clause reasoning." AAAI/IAAI 2002 (2002): 613-619.
Follow ASP-Mutex-Preprocessor
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of ASP-Mutex-Preprocessor!