Fixing and verification (incomplete)
Fixing verification errors (incomplete)
Improved case tests, attempted volume packing problem (failed)
verified for 1 test problem
small doc change
Merge pull request #4 from jcchin/master

Working LMTD Analysis