add_subdirectory(bigint)
add_subdirectory(cxxopts)
add_subdirectory(dlfcn-win32)
add_subdirectory(ezsat)
add_subdirectory(fst)
add_subdirectory(json11)
add_subdirectory(minisat)
add_subdirectory(sha1)
add_subdirectory(subcircuit)

add_library(symfpu INTERFACE)
target_include_directories(symfpu INTERFACE
    ${CMAKE_CURRENT_SOURCE_DIR}
)