/usr/include/cvc4/options/ is in libcvc4-dev 1.5-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/include/cvc4/options/argument_extender.h
|
text/x-c++ | root:root | 0o644 | 2.6 KB |
/usr/include/cvc4/options/arith_heuristic_pivot_rule.h
|
text/x-c | root:root | 0o644 | 1.1 KB |
/usr/include/cvc4/options/arith_propagation_mode.h
|
text/x-c | root:root | 0o644 | 1.1 KB |
/usr/include/cvc4/options/arith_unate_lemma_mode.h
|
text/x-c | root:root | 0o644 | 1.1 KB |
/usr/include/cvc4/options/language.h
|
text/x-c | root:root | 0o644 | 5.5 KB |
/usr/include/cvc4/options/option_exception.h
|
text/x-c++ | root:root | 0o644 | 1.8 KB |
/usr/include/cvc4/options/options.h
|
text/x-c++ | root:root | 0o644 | 17.8 KB |
/usr/include/cvc4/options/printer_modes.h
|
text/x-c | root:root | 0o644 | 1.6 KB |
/usr/include/cvc4/options/quantifiers_modes.h
|
text/x-c | root:root | 0o644 | 6.5 KB |
/usr/include/cvc4/options/set_language.h
|
text/x-c++ | root:root | 0o644 | 2.7 KB |
/usr/include/cvc4/options/simplification_mode.h
|
text/x-c | root:root | 0o644 | 1.2 KB |
/usr/include/cvc4/options/theoryof_mode.h
|
text/x-c | root:root | 0o644 | 1.2 KB |