Teaching Materials for Course "Answer Set Solving in Practice"