Man Pages in clasp

Section 1: Executable programs or shell commands

clasp.1

A conflict-driven nogood learning answer set solver