Keywords: some, maximizing, minimizing

Ivy supports nondeterminism in actions using the asterisk (*) symbol and some keyword, in various forms:

• nondeterministic assignment
• nondeterministic conditional
• nondeterministic choice