Tools

The prototype for debugging monotonic ASP programs and sample inconsistent programs are available at rmbd.googlecode.com