Since I cannot find it mentioned in the OP nor in the comments: if you want to experiment with SAT, the pysat package might be a pretty good start. https://git

Since I cannot find it mentioned in the OP nor in the comments: if you want to experiment with SAT, the pysat package might be a pretty good start. https://github.com/pysathq/pysat https://github.com/pysathq/pysat The API is not exactly Pythonic (numpy/scipy/opencv style) but it's loaded with features.