Skip to content

Instantly share code, notes, and snippets.

@sanatgersappa
sanatgersappa / sudoku.clj
Created April 24, 2020 12:04 — forked from orb/sudoku.clj
updated for the latest core.logic, with some minor tweaks for (I hope) clarity
(ns sudoku
(:refer-clojure :exclude [==])
(:use [clojure.core.logic])
(:require [clojure.core.logic.fd :as fd]))
(defn init-board [vars puzzle]
(matche [vars puzzle]
([[] []]
succeed)