constraints all
typeside t schema s : t instance i : s ---------------------------------- constraints (all i s) : s
TODO
Appears in:
Reformulate
Options:
always_reload
num_threads
talg_reduction
timeout