Scoru: forbid 0 ticks commitment
With the addition of SOL/EOL. There must be at least 1 tick. Even further, we could estimate the minimal numbers of ticks (i.e. counting the number of set_input) but that's not really relevant.
With the addition of SOL/EOL. There must be at least 1 tick. Even further, we could estimate the minimal numbers of ticks (i.e. counting the number of set_input) but that's not really relevant.