Training Neural Networks using SAT solvers

Re-assign community