Add time constraints#15

istathar wants to merge 2 commits into

technique-lang:maintechnique-lang/specification:mainfrom

istathar:time-constraintsistathar/specification:time-constraintsCopy head branch name to clipboard