Dependencies for uuagc-0.9.52

library
uuagc

Flags

NameDescriptionDefaultType
bootstrap_external

Use an external uuagc executable for bootstrapping

DisabledManual
with-loag

Use MiniSat as external SAT-solver to schedule all Linear Ordered AGs

DisabledManual

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info