Alpha: a lazy-grounding conflict-driven ASP solver

Alpha is open source and available at github. A paper preprint is available here.

Some benchmarks comparing Alpha with other solvers can be found here.

Additional information for the PAoASP'17 heuristics benchmarks can be downloaded.