A clojure implementation of DeKleer's ATMS