Blame · examples/tests/simpleChoice.spec · 565ddafd5dcc81c7434ca44bc64620d837cb9f05 · Christian Müller / NIWO · GitLab

Find file Normal view History Permalink

simpleChoice.spec 56 Bytes

Newer Older

add target to wf spec file Christian Müller committed Apr 04, 2017	1 2	`Workflow`
examples Christian Müller committed Mar 07, 2019	3	`forall x,s`
add target to wf spec file Christian Müller committed Apr 04, 2017	4 5 6 7 8	`O(s) -> R += (x,s) Target R(x,s)`