/automated-reasoning

Automated reasoning course.

Assignments for the "Automated Reasoning" course.