Linearisation, MIP solver interfaces, systematic testing and benchmarking.