https://9dok.net/document/qo51mg65-times-sudoku-logic-constraints-clojure-burkhardt-renz.html