Dependencies for dedukti-1.1.4

library
dedukti
dedukti-tests

Flags

NameDescriptionDefaultType
test

Compile test harness (requires test-framework).

DisabledAutomatic

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