GitLab

[lib] MCLA/CLU: Save some cycles when there is no more solution for a given step; Auto-adjust max_step until max_user_step is reached

=> deletion of useless get_model accessor

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.

- Add solution4 test (simple final property)
- Add full tests for variant properties (DIMACS + text)