simpleChoiceOmittingNoOracle.spec 65 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1
2
3
4
5
6
7
Workflow

forallmay x,s
    True -> R += (x,s)

Target

Christian Müller's avatar
Christian Müller committed
8
R(xt,st)