Note: The tool is in developing phase and constantly updated for in house experiments. The latest version of the tool will be available on request (mailto:rajib.jana@cse.iitkgp.ernet.in, cc:jlrajib.cse@gmail.com). In order to get the flavour of allocation-aware HVAC control synthesis, reader can download the tarball which contains final output files generated by the tool for given inputs. The output file (simulation.py) is required to execute for analyzing the HVAC performance. The necessary information to execute the file is mentioned in readMe file.