[...]
> 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:just22@atlantide.t28.net]
Web: http://www.atlantide.t28.net
LinkedIn: http://it.linkedin.com/in/delaurenzis
No comments:
Post a Comment