Dependencies for uuagc-0.9.54
library |
|
---|---|
uuagc |
|
Flags
Manual Flags
Name | Description | Default |
---|---|---|
bootstrap_external | Use an external uuagc executable for bootstrapping | Disabled |
with-loag | Use MiniSat as external SAT-solver to schedule all Linear Ordered AGs | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info