S
implicial_complexes_and_boolean_functions
Boolean_functions
Simplicial_complex
Bij_betw_simplicial_complex_bool_func
MkIfex
Evasive
ListLexorder
BDD
Binary_operations