add_executable(boolean_ops main.cpp)
target_link_libraries(boolean_ops PRIVATE vde)