GitHub repository: zac-garby/knaves
Created: 2019-10-09T11:33:35Z
Description: A solver for Knights and Knaves logic problems.