Answer Set Programming (ASP) offers a simple and powerful modeling language to
solve combinatorial problems. With these tools users can concentrate on an
actual problem, rather than a smart way of implementing it.
