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