[...]
CUDD uses the 3-clause BSD license, so I merged it with MiniSat/xSAT under a generic BSD tag.
Sorry, I meant:CUDD uses the 3-clause BSD license, so I merged it with bzlib/satoko under a generic BSD tag
-- Alessandro DE LAURENZIS [mailto:jus...@atlantide.t28.net] Web: http://www.atlantide.t28.net LinkedIn: http://it.linkedin.com/in/delaurenzis
