Add possible optimization idea to branch and bound.
Add domain-related content.
Add LP-related content.
Fix some bugs in typing.