On Feb 2, 2008 5:58 PM, Daniel Fischer <daniel.is.fischer@web.de> wrote:
Obviously not.
Try
solve rnd cnf = runST $ do
solution <- evalStateT ...
case solution of
Nothing -> return Unsat
Just ar -> unsafeFreeze ar
Ah, right. Thanks. This worked.
--
Denis
