when in solver:sat
sets the right nim
version (#1267)
#2193
Loading
solver:sat
sets the right nim
version (#1267)
#2193