A conflict-driven nogood learning answer set solver - View it on GitHub