clarifications in README on solver specification and on how to contact us