mirror of
https://github.com/ceph/ceph-csi.git
synced 2024-11-10 08:20:23 +00:00
557 lines
15 KiB
TOML
557 lines
15 KiB
TOML
# This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'.
|
|
|
|
|
|
[[projects]]
|
|
digest = "1:93147eb1d6f08d39f2c0efe3d29ee043bda72be7a8b3b367eb08c72c18524638"
|
|
name = "github.com/container-storage-interface/spec"
|
|
packages = ["lib/go/csi"]
|
|
pruneopts = ""
|
|
revision = "ed0bb0e1557548aa028307f48728767cfe8f6345"
|
|
version = "v1.0.0"
|
|
|
|
[[projects]]
|
|
digest = "1:527e1e468c5586ef2645d143e9f5fbd50b4fe5abc8b1e25d9f1c416d22d24895"
|
|
name = "github.com/gogo/protobuf"
|
|
packages = [
|
|
"proto",
|
|
"sortkeys",
|
|
]
|
|
pruneopts = ""
|
|
revision = "4cbf7e384e768b4e01799441fdf2a706a5635ae7"
|
|
version = "v1.2.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
digest = "1:107b233e45174dbab5b1324201d092ea9448e58243ab9f039e4c0f332e121e3a"
|
|
name = "github.com/golang/glog"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "23def4e6c14b4da8ac2ed8007337bc5eb5007998"
|
|
|
|
[[projects]]
|
|
digest = "1:3dd078fda7500c341bc26cfbc6c6a34614f295a2457149fc1045cab767cbcf18"
|
|
name = "github.com/golang/protobuf"
|
|
packages = [
|
|
"descriptor",
|
|
"proto",
|
|
"protoc-gen-go/descriptor",
|
|
"ptypes",
|
|
"ptypes/any",
|
|
"ptypes/duration",
|
|
"ptypes/timestamp",
|
|
"ptypes/wrappers",
|
|
]
|
|
pruneopts = ""
|
|
revision = "aa810b61a9c79d51363740d207bb46cf8e620ed5"
|
|
version = "v1.2.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
digest = "1:1e5b1e14524ed08301977b7b8e10c719ed853cbf3f24ecb66fae783a46f207a6"
|
|
name = "github.com/google/btree"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "4030bb1f1f0c35b30ca7009e9ebd06849dd45306"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
digest = "1:754f77e9c839b24778a4b64422236d38515301d2baeb63113aa3edc42e6af692"
|
|
name = "github.com/google/gofuzz"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "24818f796faf91cd76ec7bddd72458fbced7a6c1"
|
|
|
|
[[projects]]
|
|
digest = "1:a25a2c5ae694b01713fb6cd03c3b1ac1ccc1902b9f0a922680a88ec254f968e1"
|
|
name = "github.com/google/uuid"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "9b3b1e0f5f99ae461456d768e7d301a7acdaa2d8"
|
|
version = "v1.1.0"
|
|
|
|
[[projects]]
|
|
digest = "1:16b2837c8b3cf045fa2cdc82af0cf78b19582701394484ae76b2c3bc3c99ad73"
|
|
name = "github.com/googleapis/gnostic"
|
|
packages = [
|
|
"OpenAPIv2",
|
|
"compiler",
|
|
"extensions",
|
|
]
|
|
pruneopts = ""
|
|
revision = "7c663266750e7d82587642f65e60bc4083f1f84e"
|
|
version = "v0.2.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
digest = "1:5e345eb75d8bfb2b91cfbfe02a82a79c0b2ea55cf06c5a4d180a9321f36973b4"
|
|
name = "github.com/gregjones/httpcache"
|
|
packages = [
|
|
".",
|
|
"diskcache",
|
|
]
|
|
pruneopts = ""
|
|
revision = "c63ab54fda8f77302f8d414e19933f2b6026a089"
|
|
|
|
[[projects]]
|
|
digest = "1:7ab38c15bd21e056e3115c8b526d201eaf74e0308da9370997c6b3c187115d36"
|
|
name = "github.com/imdario/mergo"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "9f23e2d6bd2a77f959b2bf6acdbefd708a83a4a4"
|
|
version = "v0.3.6"
|
|
|
|
[[projects]]
|
|
digest = "1:b79fc583e4dc7055ed86742e22164ac41bf8c0940722dbcb600f1a3ace1a8cb5"
|
|
name = "github.com/json-iterator/go"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "1624edc4454b8682399def8740d46db5e4362ba4"
|
|
version = "v1.1.5"
|
|
|
|
[[projects]]
|
|
digest = "1:d1f1992c09d7b77bc5102cd8c369025d31d28dd5e6ca2a3a1a4ec9434724a4f5"
|
|
name = "github.com/kubernetes-csi/csi-lib-utils"
|
|
packages = ["protosanitizer"]
|
|
pruneopts = ""
|
|
revision = "5853414e1d4771302e0df10d1870c444c2135799"
|
|
version = "v0.2.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
digest = "1:5031afaa62ff480905e90bed2d2fd74f07b12f4c0c30304bc4ab9472b55439d1"
|
|
name = "github.com/kubernetes-csi/drivers"
|
|
packages = ["pkg/csi-common"]
|
|
pruneopts = ""
|
|
revision = "05e1ea84df03b90296869812fa42f4244bd5ab53"
|
|
|
|
[[projects]]
|
|
digest = "1:0c0ff2a89c1bb0d01887e1dac043ad7efbf3ec77482ef058ac423d13497e16fd"
|
|
name = "github.com/modern-go/concurrent"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "bacd9c7ef1dd9b15be4a9909b8ac7a4e313eec94"
|
|
version = "1.0.3"
|
|
|
|
[[projects]]
|
|
digest = "1:e32bdbdb7c377a07a9a46378290059822efdce5c8d96fe71940d87cb4f918855"
|
|
name = "github.com/modern-go/reflect2"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "4b7aa43c6742a2c18fdef89dd197aaae7dac7ccd"
|
|
version = "1.0.1"
|
|
|
|
[[projects]]
|
|
digest = "1:a5484d4fa43127138ae6e7b2299a6a52ae006c7f803d98d717f60abf3e97192e"
|
|
name = "github.com/pborman/uuid"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "adf5a7427709b9deb95d29d3fa8a2bf9cfd388f1"
|
|
version = "v1.2"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
digest = "1:c24598ffeadd2762552269271b3b1510df2d83ee6696c1e543a0ff653af494bc"
|
|
name = "github.com/petar/GoLLRB"
|
|
packages = ["llrb"]
|
|
pruneopts = ""
|
|
revision = "53be0d36a84c2a886ca057d34b6aa4468df9ccb4"
|
|
|
|
[[projects]]
|
|
digest = "1:b46305723171710475f2dd37547edd57b67b9de9f2a6267cafdd98331fd6897f"
|
|
name = "github.com/peterbourgon/diskv"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "5f041e8faa004a95c88a202771f4cc3e991971e6"
|
|
version = "v2.0.1"
|
|
|
|
[[projects]]
|
|
digest = "1:1d7e1867c49a6dd9856598ef7c3123604ea3daabf5b83f303ff457bcbc410b1d"
|
|
name = "github.com/pkg/errors"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "ba968bfe8b2f7e042a574c888954fccecfa385b4"
|
|
version = "v0.8.1"
|
|
|
|
[[projects]]
|
|
digest = "1:cbaf13cdbfef0e4734ed8a7504f57fe893d471d62a35b982bf6fb3f036449a66"
|
|
name = "github.com/spf13/pflag"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "298182f68c66c05229eb03ac171abe6e309ee79a"
|
|
version = "v1.0.3"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
digest = "1:59b49c47c11a48f1054529207f65907c014ecf5f9a7c0d9c0f1616dec7b062ed"
|
|
name = "golang.org/x/crypto"
|
|
packages = ["ssh/terminal"]
|
|
pruneopts = ""
|
|
revision = "ff983b9c42bc9fbf91556e191cc8efb585c16908"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
digest = "1:7ec13687f85b25087fe05f6ea8dd116013a8263f8eb7e057da7664bc7599d2d4"
|
|
name = "golang.org/x/net"
|
|
packages = [
|
|
"context",
|
|
"context/ctxhttp",
|
|
"http/httpguts",
|
|
"http2",
|
|
"http2/hpack",
|
|
"idna",
|
|
"internal/timeseries",
|
|
"trace",
|
|
]
|
|
pruneopts = ""
|
|
revision = "915654e7eabcea33ae277abbecf52f0d8b7a9fdc"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
digest = "1:790c83515921619a461cf47449bbdd5f58e35f689edc8164262cce7db4ae29ca"
|
|
name = "golang.org/x/oauth2"
|
|
packages = [
|
|
".",
|
|
"internal",
|
|
]
|
|
pruneopts = ""
|
|
revision = "36a7019397c4c86cf59eeab3bc0d188bac444277"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
digest = "1:69b7ecfaddca30f8e8d97798822ff2b8ddfa7634ed16661561b54f30c63c2a42"
|
|
name = "golang.org/x/sys"
|
|
packages = [
|
|
"unix",
|
|
"windows",
|
|
]
|
|
pruneopts = ""
|
|
revision = "a457fd036447854c0c02e89ea439481bdcf941a2"
|
|
|
|
[[projects]]
|
|
digest = "1:5acd3512b047305d49e8763eef7ba423901e85d5dd2fd1e71778a0ea8de10bd4"
|
|
name = "golang.org/x/text"
|
|
packages = [
|
|
"collate",
|
|
"collate/build",
|
|
"internal/colltab",
|
|
"internal/gen",
|
|
"internal/tag",
|
|
"internal/triegen",
|
|
"internal/ucd",
|
|
"language",
|
|
"secure/bidirule",
|
|
"transform",
|
|
"unicode/bidi",
|
|
"unicode/cldr",
|
|
"unicode/norm",
|
|
"unicode/rangetable",
|
|
]
|
|
pruneopts = ""
|
|
revision = "f21a4dfb5e38f5895301dc265a8def02365cc3d0"
|
|
version = "v0.3.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
digest = "1:14cb1d4240bcbbf1386ae763957e04e2765ec4e4ce7bb2769d05fa6faccd774e"
|
|
name = "golang.org/x/time"
|
|
packages = ["rate"]
|
|
pruneopts = ""
|
|
revision = "85acf8d2951cb2a3bde7632f9ff273ef0379bcbd"
|
|
|
|
[[projects]]
|
|
digest = "1:bc09e719c4e2a15d17163f5272d9a3131c45d77542b7fdc53ff518815bc19ab3"
|
|
name = "google.golang.org/appengine"
|
|
packages = [
|
|
"internal",
|
|
"internal/base",
|
|
"internal/datastore",
|
|
"internal/log",
|
|
"internal/remote_api",
|
|
"internal/urlfetch",
|
|
"urlfetch",
|
|
]
|
|
pruneopts = ""
|
|
revision = "e9657d882bb81064595ca3b56cbe2546bbabf7b1"
|
|
version = "v1.4.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
digest = "1:1aa609a0033ef2927e083f2e5e07203ca35fe21c4a24b563de9fea16ddaae9ba"
|
|
name = "google.golang.org/genproto"
|
|
packages = ["googleapis/rpc/status"]
|
|
pruneopts = ""
|
|
revision = "db91494dd46c1fdcbbde05e5ff5eb56df8f7d79a"
|
|
|
|
[[projects]]
|
|
digest = "1:d141efe4aaad714e3059c340901aab3147b6253e58c85dafbcca3dd8b0e88ad6"
|
|
name = "google.golang.org/grpc"
|
|
packages = [
|
|
".",
|
|
"balancer",
|
|
"balancer/base",
|
|
"balancer/roundrobin",
|
|
"binarylog/grpc_binarylog_v1",
|
|
"codes",
|
|
"connectivity",
|
|
"credentials",
|
|
"credentials/internal",
|
|
"encoding",
|
|
"encoding/proto",
|
|
"grpclog",
|
|
"internal",
|
|
"internal/backoff",
|
|
"internal/binarylog",
|
|
"internal/channelz",
|
|
"internal/envconfig",
|
|
"internal/grpcrand",
|
|
"internal/grpcsync",
|
|
"internal/syscall",
|
|
"internal/transport",
|
|
"keepalive",
|
|
"metadata",
|
|
"naming",
|
|
"peer",
|
|
"resolver",
|
|
"resolver/dns",
|
|
"resolver/passthrough",
|
|
"stats",
|
|
"status",
|
|
"tap",
|
|
]
|
|
pruneopts = ""
|
|
revision = "df014850f6dee74ba2fc94874043a9f3f75fbfd8"
|
|
version = "v1.17.0"
|
|
|
|
[[projects]]
|
|
digest = "1:75fb3fcfc73a8c723efde7777b40e8e8ff9babf30d8c56160d01beffea8a95a6"
|
|
name = "gopkg.in/inf.v0"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "d2d2541c53f18d2a059457998ce2876cc8e67cbf"
|
|
version = "v0.9.1"
|
|
|
|
[[projects]]
|
|
digest = "1:cedccf16b71e86db87a24f8d4c70b0a855872eb967cb906a66b95de56aefbd0d"
|
|
name = "gopkg.in/yaml.v2"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "51d6538a90f86fe93ac480b35f37b2be17fef232"
|
|
version = "v2.2.2"
|
|
|
|
[[projects]]
|
|
digest = "1:be67264067c68b1f601bfc4a6c102b1380ed0743147381de81ed11da88d2e246"
|
|
name = "k8s.io/api"
|
|
packages = [
|
|
"admissionregistration/v1alpha1",
|
|
"admissionregistration/v1beta1",
|
|
"apps/v1",
|
|
"apps/v1beta1",
|
|
"apps/v1beta2",
|
|
"auditregistration/v1alpha1",
|
|
"authentication/v1",
|
|
"authentication/v1beta1",
|
|
"authorization/v1",
|
|
"authorization/v1beta1",
|
|
"autoscaling/v1",
|
|
"autoscaling/v2beta1",
|
|
"autoscaling/v2beta2",
|
|
"batch/v1",
|
|
"batch/v1beta1",
|
|
"batch/v2alpha1",
|
|
"certificates/v1beta1",
|
|
"coordination/v1beta1",
|
|
"core/v1",
|
|
"events/v1beta1",
|
|
"extensions/v1beta1",
|
|
"networking/v1",
|
|
"policy/v1beta1",
|
|
"rbac/v1",
|
|
"rbac/v1alpha1",
|
|
"rbac/v1beta1",
|
|
"scheduling/v1alpha1",
|
|
"scheduling/v1beta1",
|
|
"settings/v1alpha1",
|
|
"storage/v1",
|
|
"storage/v1alpha1",
|
|
"storage/v1beta1",
|
|
]
|
|
pruneopts = ""
|
|
revision = "89a74a8d264df0e993299876a8cde88379b940ee"
|
|
version = "kubernetes-1.13.0"
|
|
|
|
[[projects]]
|
|
digest = "1:66b0292f815d508d11ed5fe94fdeb0bcc5a988703a08e73bf3cb3a415de676cf"
|
|
name = "k8s.io/apimachinery"
|
|
packages = [
|
|
"pkg/api/errors",
|
|
"pkg/api/meta",
|
|
"pkg/api/resource",
|
|
"pkg/apis/meta/v1",
|
|
"pkg/apis/meta/v1/unstructured",
|
|
"pkg/apis/meta/v1beta1",
|
|
"pkg/conversion",
|
|
"pkg/conversion/queryparams",
|
|
"pkg/fields",
|
|
"pkg/labels",
|
|
"pkg/runtime",
|
|
"pkg/runtime/schema",
|
|
"pkg/runtime/serializer",
|
|
"pkg/runtime/serializer/json",
|
|
"pkg/runtime/serializer/protobuf",
|
|
"pkg/runtime/serializer/recognizer",
|
|
"pkg/runtime/serializer/streaming",
|
|
"pkg/runtime/serializer/versioning",
|
|
"pkg/selection",
|
|
"pkg/types",
|
|
"pkg/util/clock",
|
|
"pkg/util/errors",
|
|
"pkg/util/framer",
|
|
"pkg/util/intstr",
|
|
"pkg/util/json",
|
|
"pkg/util/naming",
|
|
"pkg/util/net",
|
|
"pkg/util/runtime",
|
|
"pkg/util/sets",
|
|
"pkg/util/validation",
|
|
"pkg/util/validation/field",
|
|
"pkg/util/wait",
|
|
"pkg/util/yaml",
|
|
"pkg/version",
|
|
"pkg/watch",
|
|
"third_party/forked/golang/reflect",
|
|
]
|
|
pruneopts = ""
|
|
revision = "2b1284ed4c93a43499e781493253e2ac5959c4fd"
|
|
version = "kubernetes-1.13.0"
|
|
|
|
[[projects]]
|
|
digest = "1:96ab89894f66b77a0137bba12e607c6a9be992acadfb075b5602939e8519a157"
|
|
name = "k8s.io/client-go"
|
|
packages = [
|
|
"discovery",
|
|
"kubernetes",
|
|
"kubernetes/scheme",
|
|
"kubernetes/typed/admissionregistration/v1alpha1",
|
|
"kubernetes/typed/admissionregistration/v1beta1",
|
|
"kubernetes/typed/apps/v1",
|
|
"kubernetes/typed/apps/v1beta1",
|
|
"kubernetes/typed/apps/v1beta2",
|
|
"kubernetes/typed/auditregistration/v1alpha1",
|
|
"kubernetes/typed/authentication/v1",
|
|
"kubernetes/typed/authentication/v1beta1",
|
|
"kubernetes/typed/authorization/v1",
|
|
"kubernetes/typed/authorization/v1beta1",
|
|
"kubernetes/typed/autoscaling/v1",
|
|
"kubernetes/typed/autoscaling/v2beta1",
|
|
"kubernetes/typed/autoscaling/v2beta2",
|
|
"kubernetes/typed/batch/v1",
|
|
"kubernetes/typed/batch/v1beta1",
|
|
"kubernetes/typed/batch/v2alpha1",
|
|
"kubernetes/typed/certificates/v1beta1",
|
|
"kubernetes/typed/coordination/v1beta1",
|
|
"kubernetes/typed/core/v1",
|
|
"kubernetes/typed/events/v1beta1",
|
|
"kubernetes/typed/extensions/v1beta1",
|
|
"kubernetes/typed/networking/v1",
|
|
"kubernetes/typed/policy/v1beta1",
|
|
"kubernetes/typed/rbac/v1",
|
|
"kubernetes/typed/rbac/v1alpha1",
|
|
"kubernetes/typed/rbac/v1beta1",
|
|
"kubernetes/typed/scheduling/v1alpha1",
|
|
"kubernetes/typed/scheduling/v1beta1",
|
|
"kubernetes/typed/settings/v1alpha1",
|
|
"kubernetes/typed/storage/v1",
|
|
"kubernetes/typed/storage/v1alpha1",
|
|
"kubernetes/typed/storage/v1beta1",
|
|
"pkg/apis/clientauthentication",
|
|
"pkg/apis/clientauthentication/v1alpha1",
|
|
"pkg/apis/clientauthentication/v1beta1",
|
|
"pkg/version",
|
|
"plugin/pkg/client/auth/exec",
|
|
"rest",
|
|
"rest/watch",
|
|
"tools/auth",
|
|
"tools/clientcmd",
|
|
"tools/clientcmd/api",
|
|
"tools/clientcmd/api/latest",
|
|
"tools/clientcmd/api/v1",
|
|
"tools/metrics",
|
|
"tools/reference",
|
|
"transport",
|
|
"util/cert",
|
|
"util/connrotation",
|
|
"util/flowcontrol",
|
|
"util/homedir",
|
|
"util/integer",
|
|
]
|
|
pruneopts = ""
|
|
revision = "e64494209f554a6723674bd494d69445fb76a1d4"
|
|
version = "kubernetes-1.13.0"
|
|
|
|
[[projects]]
|
|
digest = "1:4f5eb833037cc0ba0bf8fe9cae6be9df62c19dd1c869415275c708daa8ccfda5"
|
|
name = "k8s.io/klog"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "a5bc97fbc634d635061f3146511332c7e313a55a"
|
|
version = "v0.1.0"
|
|
|
|
[[projects]]
|
|
digest = "1:9ac53939e57f04ea4886ed3c7b23612c65258de122c028a6c5ee8f9bdc0c51dd"
|
|
name = "k8s.io/kubernetes"
|
|
packages = [
|
|
"pkg/util/file",
|
|
"pkg/util/io",
|
|
"pkg/util/keymutex",
|
|
"pkg/util/mount",
|
|
"pkg/util/nsenter",
|
|
]
|
|
pruneopts = ""
|
|
revision = "cff46ab41ff0bb44d8584413b598ad8360ec1def"
|
|
version = "v1.13.2"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
digest = "1:8b4b9c29be72c176988b04d5acc665c093b1efac228835f0a4716531c1f7563e"
|
|
name = "k8s.io/utils"
|
|
packages = ["exec"]
|
|
pruneopts = ""
|
|
revision = "8a16e7dd8fb6d97d1331b0c79a16722f934b00b1"
|
|
|
|
[[projects]]
|
|
digest = "1:321081b4a44256715f2b68411d8eda9a17f17ebfe6f0cc61d2cc52d11c08acfa"
|
|
name = "sigs.k8s.io/yaml"
|
|
packages = ["."]
|
|
pruneopts = ""
|
|
revision = "fd68e9863619f6ec2fdd8625fe1f02e7c877e480"
|
|
version = "v1.1.0"
|
|
|
|
[solve-meta]
|
|
analyzer-name = "dep"
|
|
analyzer-version = 1
|
|
input-imports = [
|
|
"github.com/container-storage-interface/spec/lib/go/csi",
|
|
"github.com/golang/glog",
|
|
"github.com/golang/protobuf/ptypes/timestamp",
|
|
"github.com/kubernetes-csi/drivers/pkg/csi-common",
|
|
"github.com/pborman/uuid",
|
|
"github.com/pkg/errors",
|
|
"golang.org/x/net/context",
|
|
"google.golang.org/grpc/codes",
|
|
"google.golang.org/grpc/status",
|
|
"k8s.io/api/core/v1",
|
|
"k8s.io/apimachinery/pkg/api/errors",
|
|
"k8s.io/apimachinery/pkg/apis/meta/v1",
|
|
"k8s.io/apimachinery/pkg/util/sets",
|
|
"k8s.io/apimachinery/pkg/util/wait",
|
|
"k8s.io/client-go/kubernetes",
|
|
"k8s.io/client-go/rest",
|
|
"k8s.io/client-go/tools/clientcmd",
|
|
"k8s.io/kubernetes/pkg/util/keymutex",
|
|
"k8s.io/kubernetes/pkg/util/mount",
|
|
"k8s.io/kubernetes/pkg/util/nsenter",
|
|
"k8s.io/utils/exec",
|
|
]
|
|
solver-name = "gps-cdcl"
|
|
solver-version = 1
|