Ivan L

It would be great to allow to filter namespaces by wildcard, e.g. ``` whitelistedNamespaces: - foo # exact match (current behaviour) - bar? # bar1, barX, barY - *baz* #...

Solving timeout

2

It would be great to have some optional timeout (e.g. in `Solver::solve(&mut self, timeout: Option)`) to break out of the loop if the problem is too hard to solve in...