GitHub repository: tjhance/logic-puzzles
Primary language: Haskell
Created: 2015-12-04T05:14:53Z
Description: Solving logic puzzles in Haskell using SBV and Z3