TODO

[trevphil]

• 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?)