Added some more solvers
Added many more solvers and added a contradiction checker
Pretty much done except for some problems with grid_clone
IT WORKs! There is some styling to do but the core of it works