Programas por buddy.sf.net

Uma biblioteca binária de diagrama de decisão, com:muitas operações de BDD vetorializadas altamente eficientes,reordenamento variável dinâmico,coleta automatizada de lixo,uma interface C++ com contagem automática de r