On inferring cumulative constraints | ScienceToStartup | ScienceToStartup