cvc4-1.4
|
Directories | |
arith | |
arrays | |
booleans | |
builtin | |
bv | |
datatypes | |
idl | |
quantifiers | |
sets | |
strings | |
uf | |
Files | |
logic_info.h | |
A class giving information about a logic (group a theory modules and configuration information) | |
options.h | |
theory_test_utils.h | |
Common utilities for testing theories. | |
theoryof_mode.h | |
Option selection for theoryOf() operation. | |