OBDD.Property

null

satisfiable

number_of_models

paths

models

size