Le projet javabdd est une bibliothèque Java dédiée à la manipulation de fonctions booléennes sous forme de réseaux de décision BDD (Binary Decision Diagrams). Il permet de construire, manipuler et analyser des fonctions booléennes complexes, de rechercher des ensembles satisfaisants et de calculer des profils de variables.

Libapn est une bibliothèque C++ open-source distribuée sous licence GPLv3 ou ultérieure. Elle permet l'étude de fonctions booléennes vectorielles, y compris les fonctions APN (Almost Perfect Nonlinear). La bibliothèque fournit des classes C++ de haut niveau pour représenter et manipuler ces fonctions.