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
On Tue, 3 Feb 2009 19:58:51 -0200
"rodrigo.bonifacio" wrote:
> 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 co
Actually, a list of list of literals is needed, since it's a Set Clause, and
a Clause is a [Literal].
On Tue, Feb 3, 2009 at 5:24 PM, Robin Green wrote:
> On Tue, 3 Feb 2009 19:58:51 -0200
> "rodrigo.bonifacio" wrote:
>
> > Hi all,
> >
> > I'm trying to use the Funsat library. One of its data t
On Tue, Feb 3, 2009 at 14:58, rodrigo.bonifacio
wrote:
> 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 s