symbolo and numbero constraint tests for Clojure's core.logic - View it on GitHub