package(default_visibility = [
    "//visibility:public",
])

filegroup(
    name = "smtlibv2_programs",
    srcs = glob(["smtlibv2_testsuite/*.smt2"]),
)
