clasp(1) on Linux

The text da5de6605ab8, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

a conflict-driven nogood learning answer set solver

Flags it lists