blob: 5b0bc398de87d05ab9c235cdf96cd5d541e9bf24 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
add_subdirectory(arith)
add_subdirectory(arrays)
add_subdirectory(aufbv)
add_subdirectory(auflia)
add_subdirectory(bv)
add_subdirectory(datatypes)
add_subdirectory(decision)
add_subdirectory(expect)
add_subdirectory(fmf)
add_subdirectory(lemmas)
add_subdirectory(nl)
add_subdirectory(parser)
add_subdirectory(precedence)
add_subdirectory(preprocess)
add_subdirectory(push-pop)
add_subdirectory(quantifiers)
add_subdirectory(rels)
add_subdirectory(rewriterules)
add_subdirectory(sep)
add_subdirectory(sets)
add_subdirectory(strings)
add_subdirectory(sygus)
add_subdirectory(tptp)
add_subdirectory(uf)
add_subdirectory(uflia)
add_subdirectory(uflra)
add_subdirectory(unconstrained)
|
