Combinatoric solver inspired by talks with Eduard Weitz No asdf yet to load: (load "load.lisp") to test: (test-all)