Exploring the use of deduction rules for puzzle solving. - View it on GitHub