blob: 500900bb11c9a14c2d040573022703a95a48b5df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#add_subdirectory(base)
#add_subdirectory(bindings)
#add_subdirectory(compat)
#add_subdirectory(context)
#add_subdirectory(decision)
#add_subdirectory(expr)
#add_subdirectory(lib)
#add_subdirectory(main)
#add_subdirectory(options)
#add_subdirectory(parser)
#add_subdirectory(printer)
#add_subdirectory(proof)
#add_subdirectory(prop)
#add_subdirectory(smt)
#add_subdirectory(smt_util)
#add_subdirectory(theory)
#add_subdirectory(util)
|
