As mentioned by @jjcmoon, it might be interesting to use the preprocessor [Arjun](https://www.github.com/meelgroup/arjun) with other model counters than [ganak](www.github.com/meelgroup/ganak). Such extensibility would be a good feature to add.
As mentioned by @jjcmoon, it might be interesting to use the preprocessor Arjun with other model counters than ganak.
Such extensibility would be a good feature to add.