+ */
+ state_t *res = NULL;
+ state *cont = (state *)malloc(sizeof(cont));
+ cont->bdd = new;
+ cont->vars = init->vars;
+ res = explstate(cont, rls, goal);
+ if (res != NULL){
+ if (res->lrd == NULL) printf("wrong\n");
+ lurd_t *l = res->lrd;
+ while (l != NULL){
+ printf("%c", l->c);
+ l = l->next;
+ }
+ printf("\n");
+ } else found = 0;
+
+