clojure.core.logic.bench — mschuene/core.logic 0.8.11.1

->answer clj

(->answer ns)

->cols clj

(->cols rows)

->rows clj

(->rows xs)

->squares clj

(->squares rows)

all-connected-to-allo clj

(all-connected-to-allo l)

Collect all cliques in l. l must be bounded to ensure termination.

checko clj

(checko ws sl r n)

connected clj

connected-db clj

connected-to-allo clj

(connected-to-allo v vs)

Ensure that vertex v is connected to all vertices vs.

cryptarithfd-1 clj

(cryptarithfd-1)

cryptarithfd-2 clj

(cryptarithfd-2)

digito clj

(digito x l y)

dinesmanfd clj

(dinesmanfd)

do-send-moolao clj

(do-send-moolao q l ll)

first-digito clj

(first-digito x l y)

get-square clj

(get-square rows x y)

init clj

(init vars hints)

magic clj

(magic n)

magic-cols clj

(magic-cols n grid)

magic-diag clj

(magic-diag n rows)

magic-grid clj

(magic-grid n)

magic-sum clj

(magic-sum ls res)

matches clj

(matches n)

moveo clj

(moveo n x y z)

nexto clj

(nexto x y l)

not-adjacento clj

(not-adjacento x y)

nrevo clj

(nrevo l o)

partitiono clj

(partitiono a b c d)

print-solution clj

(print-solution vars)

qsorto clj

(qsorto l r r0)

righto clj

(righto x y l)

safefd clj

(safefd)

send-money-quicklyo clj

(send-money-quicklyo send more money)

simple-fd-eq clj

(simple-fd-eq)

simplefd clj

(simplefd)

small-sudokufd clj

(small-sudokufd)

sort-dwellers clj

(sort-dwellers [fa _] [fb _])

subchecko clj

(subchecko w sl r o n)

sudokufd clj

(sudokufd hints)

takeouto clj

(takeouto x l y)

verify clj

(verify vars)

zebrao clj

(zebrao hs)