       (contains? other-set x))))
 
 (defn minimal-hypergraph-transversals
-  "Returns all minimal hypergraph transversals of the hypergraph defined by «edges» on the
-  vertex sets «vertices»."
+  "Returns all minimal hypergraph transversals of the hypergraph defined by
+  «edges» on the vertex sets «vertices»."
   [vertices edges]
   (let [cards    (map-by-fn (fn [x]
                               (count (set-of X | X edges :when (contains? X x))))

  "Basic definitions for conexp-clj."
  (:require [clojure.math.combinatorics :as comb]))

;;; def macros, inspired and partially copied from clojure.contrib.def, 1.3.0-SNAPSHOT

(defmacro def-
  "Same as def, but yields a private definition"


(defn parallel-closures
  "Returns the set of all closures of the closure operator on the given base set.
  Computes the closures in parallel, to the extent possible."
  [base clop]
  (loop [n        0
         closures #{(clop #{})}
