OBDD.Property

null

satisfiable

number_of_models

some_model

all_models

size