Added core.logic examples
Added core.logic fd examples
Added core.logic defrel examples
Added brute solver
Added core.logic sudoku solver
Added core.logic sudoku fd solver
Added unifier
Added cl to deps
Removed old version
Added marg