Dependencies for atp-0.1.0.0

library

Flags

Manual Flags

NameDescriptionDefault
werrorDisabled
proversDisabled

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