extracting the number of SAT oracle calls through the API

[strl2022]

Thank you for PySAT!

I went through the documentation of RC2 (https://pysathq.github.io/docs/html/api/examples/rc2.html), and I could not find a way to extract the number of times that the underlying SAT oracle is called (the number of iterations) when calling compute().

Is it even possible to have that number through the API?

In any case, I think that having this information would help a lot for comparisons in experimental evaluations. For example, I am implementing some very greedy techniques where I repeatedly use a SAT oracle to approximate/solve an optimization problem, and, even though I am faster, I would like to show that this is a result of performing x% fewer oracle calls.

Michael

[alexeyignatiev]

Thanks, @strl2022. I agree this information should be useful if provided by the solvers' API.