npn

NPN: Calcule representantes canônicos para funções booleanas

Este pacote é um Matcher booleano. Ele simplesmente calcula o representante canônico, que é único para cada classe de equivalência da NPN, para uma determinada função booleana representada pela tabela de verdade.

O back -end deste pacote é implementado pelo C ++ para eficiência.

Atualmente, este pacote suporta funções booleanas com o número de entradas <= 8.

Instalar

pip install npn

Uso

 import npn

# the truth table of f(x_2, x_1, x_0) as [f(0, 0, 0), f(0, 0, 1), f(0, 1, 0), f(0, 1, 1), ...]
tt = [ True , True , True , False , True , True , True , True ]
c = npn . npn_canonical_representative ( tt )    # [True, True, True, True, True, True, True, False]
c_int = npn . tt_to_int ( c )                    # 254 (11111110)
c , phase , perm , output_inv = npn . npn_canonical_representative ( tt , return_details = True , refinement = True )

• Defina o parâmetro return_details como True para retornar as informações de transformação NPN ( phase, perm, output_inv ). Por exemplo, aqui phase = [False, False, True] , perm = [0, 1, 2] e output_inv = False meios (x_0, x_1, x_2) devem ser mapeados para (x_0, x_1, x_2) , então a terceira variável ( x_2 ) deve ser invertida e o resultado final não deve ser invertido.
• Defina o parâmetro refinement como True para acelerar a computação enquanto quebra a ordem lexicográfica das tabelas da verdade. Consulte "Construindo um Matcher Booleano e Detector de Simetria melhor" para obter detalhes.

Construir

Compilar a biblioteca compartilhada libnpn.dll e libnpn.so via cmake no ambiente Windows e Linux, coloque -os na pasta npn , então

python setup.py sdist

Para fazer upload para Pypi, execute

twine upload . d ist n pn-X.X.tar.gz

Teste

pip install pytest  # if you haven't install it
python -m pytest

Referências

1. Chai, D. e A. Kuehlmann. "Construir um melhor correspondente booleano e detector de simetria". Em Anais da Conferência de Automação e Teste de Design na Europa, 1: 1–6, 2006. https://doi.org/10.1109/date.2006.243959.
2. Debnath, D. e T. Sasao. "Computação eficiente da forma canônica para correspondência booleana em grandes bibliotecas". Em ASP-DAC 2004: Conferência de Automação de Design de Pacífico Sul e Pacífico Sul 2004 (IEEE Cat. No.04Ex753), 591–96, 2004. https://doi.org/10.1109/aspdac.2004.137660.
3. Hinsberger, U. e R. Kolla. "Combinação booleana para grandes bibliotecas." Em Proceedings 1998 Design and Automation Conference. 35º DAC. (Cat. No.98CH36175), 206-11, 1998. https://doi.org/10.1145/277044.277100.