I got cold feet for allowing the main vars (used for logical axioms) to be missing. This can indicate a much deeper error in the client setup, and I am handling now cases with 200 patterns where I would probably never notice one or two patterns not generating the axioms they should. Not too worried about data_vars and data_list_vars. I really care about vars, and only vars. I hereby ask for a new parameter: --strict-vars true that lets dosdp tools fail hard if one of the vars cant be found.
I got cold feet for allowing the main vars (used for logical axioms) to be missing. This can indicate a much deeper error in the client setup, and I am handling now cases with 200 patterns where I would probably never notice one or two patterns not generating the axioms they should. Not too worried about data_vars and data_list_vars. I really care about vars, and only
vars. I hereby ask for a new parameter: --strict-vars true that lets dosdp tools fail hard if one of the vars cant be found.