Port 2016 solvers from [mfulton.zip - Google Drive](https://drive.google.com/file/d/1OwE0e7sAMyH19TJUfBadezsrjZWFlNrj/view)