- https://github.com/dselsam/neurosat/tree/master/python - Find AND gates whose inputs are very far apart. Assign fixed value to the input with the smaller bit index (improve SAT convergence?)
