A variant of the clasp solver for extracting learned constraints - View it on GitHub