Polina Stadnikova

Thank you! This helped me a lot.

Hi, I have problems with generation from DLFs created by the Disjunctivizer. For example, when I try to realize (with regression tests) the test output formulas I always get an exception, as if the formulas would have a wrong structure and would be ignored by the realizer. It seems that the realizer cannot handle <dlf> ...</dlf> structure. If I understood it correctly from this paper http://www.ling.ohio-state.edu/~white.1240/papers/White-inlg06.pdf , the packing/unpacking mode is essential for this...