Delete .DS_Store
Delete .DS_Store
pascalesser/Knowledge_Representation_1_SAT,pascalesser/Knowledge_Representation_1_SAT,pascalesser/Knowledge_Representation_1_SAT,pascalesser/Knowledge_Representation_1_SAT