felixberliner1
Results
1
issues of
felixberliner1
I know it's been a while since this was updated, but is there any way to get a counter of how many non-trivial decisions the solver makes? Or some way...