Hi all,
I'm trying to use the Funsat library. One of its data types is CNF:
data CNF = CNF {
numVars :: Int
numClauses :: Int
clauses :: Set Clause
}
I have a list of clauses, but I'm getting an error when converting such a list
to a Set. Using the fromList function, the ghc compiler reports that the
fromList function is not applicable to literals.
type Clause = [Lit]
newtype Lit = L {
unLit :: Int
}
So, my question is: How can I solve this problem?
Thanks in advance,
Rodrigo.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
