GitHub repository: timhutton/ded-rule
Primary language: Python
Description: Exploring the use of deduction rules for puzzle solving.