The Coq mailing list

[Asger Alstrup Nielsen <alstrup AT sophusmedical.dk>]

"Jean.Goubault-Larrecq" wrote:
>         In fact, there is no reason to make a choice here between
> BDDs and Coq, as there is at least one BDD package in Coq.

Thank you for the information. However, I already switched to use Buddy,
which is a BDD-only system, and it works great. 
Buddy does however have some bugs (it can't reliably calculate the size
of my world), so when Coq is ready for an easy switch, I'll consider to
do that. I already considered to switch to cudd, which is a different
BDD system. 
But I'll postpone this decision until the BDD system in Coq is more
mature. For now, Buddy serves my immediate needs fine.

Thank you all for your help,

Asger Alstrup