module OBDD.Property 

( null, satisfiable
, number_of_models
, some_model, all_models
)

where

import qualified Prelude
import OBDD.Data