add_subdirectory(cmds)
add_subdirectory(equiv)
add_subdirectory(fsm)
add_subdirectory(hierarchy)
add_subdirectory(memory)
add_subdirectory(opt)
add_subdirectory(pmgen)
add_subdirectory(proc)
add_subdirectory(sat)
add_subdirectory(techmap)
add_subdirectory(tests)