cc_binary(
    name = "solver",
    srcs = glob(["*.c", "*.h"])
)