#!/bin/bash -x
clingo warm_city.lp --const ts=6