Fixed bug in the computation of the number of satisfiable assignments of a BDD. Changed Interactive Strategy to report unrealizability.