Logger

[pazz]

This allows to configure the logger and make the outputs on stderr and stdout a little less noisy unless otherwise requested (muiltiply giving -v to increase verbosity)

[pazz]

It'd be good to also add an option to log to file.

[Copilot]

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

[pazz]

vibecoding.

[Copilot]

Copilot reviewed 5 out of 5 changed files in this pull request and generated no comments.

Comments suppressed due to low confidence (3)

src/strategy.rs:41

• [nitpick] Since the print! macro is commented out, the subsequent flush call may be redundant; consider removing the flush call if no output is expected.

            // print!(".");

src/semigroup.rs:197

• [nitpick] The print! statement has been commented out, but its associated flush call remains; if no output is desired, removing the flush could improve clarity and efficiency.

                //print!(".");

src/semigroup.rs:253

• [nitpick] Commenting out the print! macro makes the flush call on the following line potentially unnecessary; consider removing it to avoid unnecessary IO operations.

                //print!(".");

[Numero7]

@pazz the linter did fail on this one, is it possible you fix it before merging? Also feel free to merge yourself any PR (as long as the CI do succeed :-) )

[pazz]

silly me. I now finally installed the clippy tool locally to notice this early enough. Learning on the "job" :)