Find the best solution to pack drums into containers by respecting the following rules :
- The container has a capacity limit and drums have different size
- All chemicals in a container cannot exceed the capacity limit.
- TNT drums require armored container
- Ammonia drums require ventilated container
- Biological samples and TNT should be separated.
- Water and Biological samples do not require any container feature.
Design matters : how it is possible to represent actual and expected behavior whithout a good design first ?
- Types with primitives
- Fix primitives
- Identity Services
- Identify where to not use exceptions
- Is it hard to enumerate ?
Add unit test to prove the allocation space problem. Identity through types cardinality.
- What are properties ?
- Is it easy to prove
- It is easy to verify ?