                        [% [x1 x2]]) P)]
     coords))
 
-(println (compute-conjugate-order
-           #{1 2 3 4 5} (non-strict #(or (= 1 %1) (= 5 %2)))))
-
-(println (compute-coordinates
-           #{1 2 3 4 5} (non-strict #(or (= 1 %1) (= 5 %2)))))
+;(println (compute-conjugate-order
+;           #{1 2 3 4 5} (non-strict #(or (= 1 %1) (= 5 %2)))))
+;
+;(println (compute-coordinates
+;           #{1 2 3 4 5} (non-strict #(or (= 1 %1) (= 5 %2)))))
 
 (defn- replicate-str
   [s i]

  ([xs k]
   (lt-seq xs k (Math/random)))
  ([xs k prefix]
   (if (> k 0)
     (let [n (count xs)
           s prefix]
       (concat

            [conexp.base :exclude [transitive-closure] :refer :all]
            [rolling-stones.core :as sat :refer :all]))

(defn lt-seq
  "Constructs a constraint stating that at most `k` of the given variables `xs` are true.

  This is from ??.
