strl2022

Thank you for PySAT! I went through the documentation of RC2 ([https://pysathq.github.io/docs/html/api/examples/rc2.html](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...