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
On Tue, 3 Feb 2009 19:58:51 -0200
rodrigo.bonifacio rodrigo.bonifa...@uol.com.br 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
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 gree...@greenrd.org wrote:
On Tue, 3 Feb 2009 19:58:51 -0200
rodrigo.bonifacio rodrigo.bonifa...@uol.com.br wrote:
Hi all,
I'm trying to use
On Tue, Feb 3, 2009 at 14:58, rodrigo.bonifacio
rodrigo.bonifa...@uol.com.br 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