Adding User Cuts and Lazy Constraints [TODO]

Warning

This is a work in progress. Thank you for your understanding.