ASP-Mutex-Preprocessor download

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.

Project Activity

See All Activity >

Follow ASP-Mutex-Preprocessor

ASP-Mutex-Preprocessor Web Site

You Might Also Like

A CRM and Sales Data Management Platform for Multi-Line Sales Teams

The CRM, sales reporting, and commission tracking tool uniquely tailored to the needs of manufacturers, sales reps, and distributors.

Repfabric is a customer relationship management (CRM) software designed specifically for multi-line sales teams (i.e. reps, distributors, wholesalers, dealers, and manufacturers). It streamlines and simplifies the sales process by providing deep integration with email, contacts, calendars, and deal tracking. The platform enables users to track commissions from CRM to sale, make updates directly from mobile devices, and document sales calls using voice-to-text features.

Learn More

Rate This Project