
This folder contains exercises for students of a course on automated deduction
held at the Vienna University of Technology.

