Added max-product LP relaxation

Please double check all your requires. These are really important as the users only see these messages if something wrong. They dont see the source code. Its super frustrating if one gets a bad error message