A Computer Takes the LSAT: Generating Fact Scenarios

This is the third in a series of posts that show how to encode LSAT Puzzles in the Ergo Lite programming language. To start from the beginning, go to the introductory post.

In this post, I will show you how you can use Ergo Lite to automatically generate all possible schedules.

In some of the questions we are going to encode, the question will be whether something is always true or never true about a schedule that adheres to the rules. In order to allow the computer to easily answer those questions, we can have it…