Repository for the NTNU course TDT4136: Logic and Reasoning Systems