Full threadsadga·Confusing post. It's an example of core.logic, not really an interesting Sudoku-solver, as all of the logic is in core.logicView on HN