src/theory/CMakeLists.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14

add_subdirectory(arith)
add_subdirectory(arrays)
add_subdirectory(booleans)
add_subdirectory(builtin)
add_subdirectory(bv)
add_subdirectory(datatypes)
add_subdirectory(example)
add_subdirectory(fp)
add_subdirectory(idl)
add_subdirectory(quantifiers)
add_subdirectory(sep)
add_subdirectory(sets)
add_subdirectory(strings)
add_subdirectory(uf)