-
VIGNET Pierre authored
When there are __dimacs_invariant AND __invariant_property from the query. Do not forget that invariant property is composed of 1 item (list) PER STEP and that the query give only the FIRST STEP.
b68c2446
When there are __dimacs_invariant AND __invariant_property from the query. Do not forget that invariant property is composed of 1 item (list) PER STEP and that the query give only the FIRST STEP.