analysisofboolean
booleanfunctions
abf