xclasp is a variant of the ASP solver clasp, which offers additional facilities for extracting learned conflict constraints while solving logic programs.

Download