Test out different formulations for the floor layout problem - View it on GitHub