OCR model, MNIST + the logical solver from scratch

The OCR model part does not support everything, just some apps but looking to improve it.