[add mkCA to create a new CA
John Meacham <john@repetae.net>**20060707021203] hunk ./Util/BooleanSolver.hs 12
+    mkCA,
hunk ./Util/BooleanSolver.hs 124
-groundConstraints :: (MonadIO m,Ord v) => C v -> m (C (CA v), [CA v])
+
+mkCA :: MonadIO m => v -> m (CA v)
+mkCA v = do liftM CA $ new (CJust (Ri mempty mempty)) v
+
+
+groundConstraints :: (MonadIO m,Ord v) => C v -> m (C (CA v), Map.Map v (CA v))
hunk ./Util/BooleanSolver.hs 143
-    return (C (v ++),Map.elems rr)
+    return (C (v ++),rr)