![]() Flags are encoded differently from other variants, and they need a choice rule to ensure clingo has a choice to impose (or not) a constraint. |
||
---|---|---|
.. | ||
docs | ||
env | ||
external | ||
llnl | ||
spack | ||
spack_installable |
![]() Flags are encoded differently from other variants, and they need a choice rule to ensure clingo has a choice to impose (or not) a constraint. |
||
---|---|---|
.. | ||
docs | ||
env | ||
external | ||
llnl | ||
spack | ||
spack_installable |