mirror of
https://github.com/grafana/grafana.git
synced 2024-11-23 09:26:43 -06:00
676 lines
15 KiB
TOML
676 lines
15 KiB
TOML
# This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'.
|
|
|
|
|
|
[[projects]]
|
|
name = "cloud.google.com/go"
|
|
packages = ["compute/metadata"]
|
|
revision = "056a55f54a6cc77b440b31a56a5e7c3982d32811"
|
|
version = "v0.22.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/BurntSushi/toml"
|
|
packages = ["."]
|
|
revision = "b26d9c308763d68093482582cea63d69be07a0f0"
|
|
version = "v0.3.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/Unknwon/com"
|
|
packages = ["."]
|
|
revision = "7677a1d7c1137cd3dd5ba7a076d0c898a1ef4520"
|
|
|
|
[[projects]]
|
|
name = "github.com/aws/aws-sdk-go"
|
|
packages = [
|
|
"aws",
|
|
"aws/awserr",
|
|
"aws/awsutil",
|
|
"aws/client",
|
|
"aws/client/metadata",
|
|
"aws/corehandlers",
|
|
"aws/credentials",
|
|
"aws/credentials/ec2rolecreds",
|
|
"aws/credentials/endpointcreds",
|
|
"aws/credentials/stscreds",
|
|
"aws/defaults",
|
|
"aws/ec2metadata",
|
|
"aws/endpoints",
|
|
"aws/request",
|
|
"aws/session",
|
|
"aws/signer/v4",
|
|
"internal/sdkio",
|
|
"internal/sdkrand",
|
|
"internal/shareddefaults",
|
|
"private/protocol",
|
|
"private/protocol/ec2query",
|
|
"private/protocol/query",
|
|
"private/protocol/query/queryutil",
|
|
"private/protocol/rest",
|
|
"private/protocol/restxml",
|
|
"private/protocol/xml/xmlutil",
|
|
"service/cloudwatch",
|
|
"service/ec2",
|
|
"service/ec2/ec2iface",
|
|
"service/s3",
|
|
"service/sts"
|
|
]
|
|
revision = "c7cd1ebe87257cde9b65112fc876b0339ea0ac30"
|
|
version = "v1.13.49"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/benbjohnson/clock"
|
|
packages = ["."]
|
|
revision = "7dc76406b6d3c05b5f71a86293cbcf3c4ea03b19"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/beorn7/perks"
|
|
packages = ["quantile"]
|
|
revision = "3a771d992973f24aa725d07868b467d1ddfceafb"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/bmizerany/assert"
|
|
packages = ["."]
|
|
revision = "b7ed37b82869576c289d7d97fb2bbd8b64a0cb28"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/bradfitz/gomemcache"
|
|
packages = ["memcache"]
|
|
revision = "1952afaa557dc08e8e0d89eafab110fb501c1a2b"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/codahale/hdrhistogram"
|
|
packages = ["."]
|
|
revision = "3a0bb77429bd3a61596f5e8a3172445844342120"
|
|
|
|
[[projects]]
|
|
name = "github.com/codegangsta/cli"
|
|
packages = ["."]
|
|
revision = "cfb38830724cc34fedffe9a2a29fb54fa9169cd1"
|
|
version = "v1.20.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/davecgh/go-spew"
|
|
packages = ["spew"]
|
|
revision = "346938d642f2ec3594ed81d874461961cd0faa76"
|
|
version = "v1.1.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/denisenkom/go-mssqldb"
|
|
packages = [
|
|
".",
|
|
"internal/cp"
|
|
]
|
|
revision = "270bc3860bb94dd3a3ffd047377d746c5e276726"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/facebookgo/inject"
|
|
packages = ["."]
|
|
revision = "cc1aa653e50f6a9893bcaef89e673e5b24e1e97b"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/facebookgo/structtag"
|
|
packages = ["."]
|
|
revision = "217e25fb96916cc60332e399c9aa63f5c422ceed"
|
|
|
|
[[projects]]
|
|
name = "github.com/fatih/color"
|
|
packages = ["."]
|
|
revision = "5b77d2a35fb0ede96d138fc9a99f5c9b6aef11b4"
|
|
version = "v1.7.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/go-ini/ini"
|
|
packages = ["."]
|
|
revision = "6529cf7c58879c08d927016dde4477f18a0634cb"
|
|
version = "v1.36.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/go-ldap/ldap"
|
|
packages = ["."]
|
|
revision = "bb7a9ca6e4fbc2129e3db588a34bc970ffe811a9"
|
|
version = "v2.5.1"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-macaron/binding"
|
|
packages = ["."]
|
|
revision = "ac54ee249c27dca7e76fad851a4a04b73bd1b183"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-macaron/gzip"
|
|
packages = ["."]
|
|
revision = "cad1c6580a07c56f5f6bc52d66002a05985c5854"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-macaron/inject"
|
|
packages = ["."]
|
|
revision = "d8a0b8677191f4380287cfebd08e462217bac7ad"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-macaron/session"
|
|
packages = [
|
|
".",
|
|
"memcache",
|
|
"postgres",
|
|
"redis"
|
|
]
|
|
revision = "b8e286a0dba8f4999042d6b258daf51b31d08938"
|
|
|
|
[[projects]]
|
|
name = "github.com/go-sql-driver/mysql"
|
|
packages = ["."]
|
|
revision = "2cc627ac8defc45d65066ae98f898166f580f9a4"
|
|
|
|
[[projects]]
|
|
name = "github.com/go-stack/stack"
|
|
packages = ["."]
|
|
revision = "259ab82a6cad3992b4e21ff5cac294ccb06474bc"
|
|
version = "v1.7.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/go-xorm/builder"
|
|
packages = ["."]
|
|
revision = "bad0a612f0d6277b953910822ab5dfb30dd18237"
|
|
version = "v0.2.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/go-xorm/core"
|
|
packages = ["."]
|
|
revision = "da1adaf7a28ca792961721a34e6e04945200c890"
|
|
version = "v0.5.7"
|
|
|
|
[[projects]]
|
|
name = "github.com/go-xorm/xorm"
|
|
packages = ["."]
|
|
revision = "1933dd69e294c0a26c0266637067f24dbb25770c"
|
|
version = "v0.6.4"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/golang/protobuf"
|
|
packages = [
|
|
"proto",
|
|
"ptypes",
|
|
"ptypes/any",
|
|
"ptypes/duration",
|
|
"ptypes/timestamp"
|
|
]
|
|
revision = "927b65914520a8b7d44f5c9057611cfec6b2e2d0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/gopherjs/gopherjs"
|
|
packages = ["js"]
|
|
revision = "8dffc02ea1cb8398bb73f30424697c60fcf8d4c5"
|
|
|
|
[[projects]]
|
|
name = "github.com/gorilla/websocket"
|
|
packages = ["."]
|
|
revision = "ea4d1f681babbce9545c9c5f3d5194a789c89f5b"
|
|
version = "v1.2.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/gosimple/slug"
|
|
packages = ["."]
|
|
revision = "e9f42fa127660e552d0ad2b589868d403a9be7c6"
|
|
version = "v1.1.1"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/grafana/grafana-plugin-model"
|
|
packages = [
|
|
"go/datasource",
|
|
"go/renderer"
|
|
]
|
|
revision = "84176c64269d8060f99e750ee8aba6f062753336"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/hashicorp/go-hclog"
|
|
packages = ["."]
|
|
revision = "69ff559dc25f3b435631604f573a5fa1efdb6433"
|
|
|
|
[[projects]]
|
|
name = "github.com/hashicorp/go-plugin"
|
|
packages = ["."]
|
|
revision = "e8d22c780116115ae5624720c9af0c97afe4f551"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/hashicorp/go-version"
|
|
packages = ["."]
|
|
revision = "23480c0665776210b5fbbac6eaaee40e3e6a96b7"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/hashicorp/yamux"
|
|
packages = ["."]
|
|
revision = "2658be15c5f05e76244154714161f17e3e77de2e"
|
|
|
|
[[projects]]
|
|
name = "github.com/inconshreveable/log15"
|
|
packages = ["."]
|
|
revision = "0decfc6c20d9ca0ad143b0e89dcaa20f810b4fb3"
|
|
version = "v2.13"
|
|
|
|
[[projects]]
|
|
name = "github.com/jmespath/go-jmespath"
|
|
packages = ["."]
|
|
revision = "0b12d6b5"
|
|
|
|
[[projects]]
|
|
name = "github.com/jtolds/gls"
|
|
packages = ["."]
|
|
revision = "77f18212c9c7edc9bd6a33d383a7b545ce62f064"
|
|
version = "v4.2.1"
|
|
|
|
[[projects]]
|
|
name = "github.com/klauspost/compress"
|
|
packages = [
|
|
"flate",
|
|
"gzip"
|
|
]
|
|
revision = "6c8db69c4b49dd4df1fff66996cf556176d0b9bf"
|
|
version = "v1.2.1"
|
|
|
|
[[projects]]
|
|
name = "github.com/klauspost/cpuid"
|
|
packages = ["."]
|
|
revision = "ae7887de9fa5d2db4eaa8174a7eff2c1ac00f2da"
|
|
version = "v1.1"
|
|
|
|
[[projects]]
|
|
name = "github.com/klauspost/crc32"
|
|
packages = ["."]
|
|
revision = "cb6bfca970f6908083f26f39a79009d608efd5cd"
|
|
version = "v1.1"
|
|
|
|
[[projects]]
|
|
name = "github.com/kr/pretty"
|
|
packages = ["."]
|
|
revision = "73f6ac0b30a98e433b289500d779f50c1a6f0712"
|
|
version = "v0.1.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/kr/text"
|
|
packages = ["."]
|
|
revision = "e2ffdb16a802fe2bb95e2e35ff34f0e53aeef34f"
|
|
version = "v0.1.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/lib/pq"
|
|
packages = [
|
|
".",
|
|
"oid"
|
|
]
|
|
revision = "d34b9ff171c21ad295489235aec8b6626023cd04"
|
|
|
|
[[projects]]
|
|
name = "github.com/mattn/go-colorable"
|
|
packages = ["."]
|
|
revision = "167de6bfdfba052fa6b2d3664c8f5272e23c9072"
|
|
version = "v0.0.9"
|
|
|
|
[[projects]]
|
|
name = "github.com/mattn/go-isatty"
|
|
packages = ["."]
|
|
revision = "0360b2af4f38e8d38c7fce2a9f4e702702d73a39"
|
|
version = "v0.0.3"
|
|
|
|
[[projects]]
|
|
name = "github.com/mattn/go-sqlite3"
|
|
packages = ["."]
|
|
revision = "323a32be5a2421b8c7087225079c6c900ec397cd"
|
|
version = "v1.7.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/matttproud/golang_protobuf_extensions"
|
|
packages = ["pbutil"]
|
|
revision = "3247c84500bff8d9fb6d579d800f20b3e091582c"
|
|
version = "v1.0.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/mitchellh/go-testing-interface"
|
|
packages = ["."]
|
|
revision = "a61a99592b77c9ba629d254a693acffaeb4b7e28"
|
|
|
|
[[projects]]
|
|
name = "github.com/oklog/run"
|
|
packages = ["."]
|
|
revision = "4dadeb3030eda0273a12382bb2348ffc7c9d1a39"
|
|
version = "v1.0.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/opentracing/opentracing-go"
|
|
packages = [
|
|
".",
|
|
"ext",
|
|
"log"
|
|
]
|
|
revision = "1949ddbfd147afd4d964a9f00b24eb291e0e7c38"
|
|
version = "v1.0.2"
|
|
|
|
[[projects]]
|
|
name = "github.com/patrickmn/go-cache"
|
|
packages = ["."]
|
|
revision = "a3647f8e31d79543b2d0f0ae2fe5c379d72cedc0"
|
|
version = "v2.1.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/pkg/errors"
|
|
packages = ["."]
|
|
revision = "645ef00459ed84a119197bfb8d8205042c6df63d"
|
|
version = "v0.8.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/prometheus/client_golang"
|
|
packages = [
|
|
"api",
|
|
"api/prometheus/v1",
|
|
"prometheus",
|
|
"prometheus/promhttp"
|
|
]
|
|
revision = "967789050ba94deca04a5e84cce8ad472ce313c1"
|
|
version = "v0.9.0-pre1"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/prometheus/client_model"
|
|
packages = ["go"]
|
|
revision = "99fa1f4be8e564e8a6b613da7fa6f46c9edafc6c"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/prometheus/common"
|
|
packages = [
|
|
"expfmt",
|
|
"internal/bitbucket.org/ww/goautoneg",
|
|
"model"
|
|
]
|
|
revision = "d811d2e9bf898806ecfb6ef6296774b13ffc314c"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/prometheus/procfs"
|
|
packages = [
|
|
".",
|
|
"internal/util",
|
|
"nfs",
|
|
"xfs"
|
|
]
|
|
revision = "8b1c2da0d56deffdbb9e48d4414b4e674bd8083e"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/rainycape/unidecode"
|
|
packages = ["."]
|
|
revision = "cb7f23ec59bec0d61b19c56cd88cee3d0cc1870c"
|
|
|
|
[[projects]]
|
|
name = "github.com/sergi/go-diff"
|
|
packages = ["diffmatchpatch"]
|
|
revision = "1744e2970ca51c86172c8190fadad617561ed6e7"
|
|
version = "v1.0.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/smartystreets/assertions"
|
|
packages = [
|
|
".",
|
|
"internal/go-render/render",
|
|
"internal/oglematchers"
|
|
]
|
|
revision = "7678a5452ebea5b7090a6b163f844c133f523da2"
|
|
version = "1.8.3"
|
|
|
|
[[projects]]
|
|
name = "github.com/smartystreets/goconvey"
|
|
packages = [
|
|
"convey",
|
|
"convey/gotest",
|
|
"convey/reporting"
|
|
]
|
|
revision = "9e8dc3f972df6c8fcc0375ef492c24d0bb204857"
|
|
version = "1.6.3"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/teris-io/shortid"
|
|
packages = ["."]
|
|
revision = "771a37caa5cf0c81f585d7b6df4dfc77e0615b5c"
|
|
|
|
[[projects]]
|
|
name = "github.com/uber/jaeger-client-go"
|
|
packages = [
|
|
".",
|
|
"config",
|
|
"internal/baggage",
|
|
"internal/baggage/remote",
|
|
"internal/spanlog",
|
|
"internal/throttler",
|
|
"internal/throttler/remote",
|
|
"log",
|
|
"rpcmetrics",
|
|
"thrift",
|
|
"thrift-gen/agent",
|
|
"thrift-gen/baggage",
|
|
"thrift-gen/jaeger",
|
|
"thrift-gen/sampling",
|
|
"thrift-gen/zipkincore",
|
|
"utils"
|
|
]
|
|
revision = "b043381d944715b469fd6b37addfd30145ca1758"
|
|
version = "v2.14.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/uber/jaeger-lib"
|
|
packages = ["metrics"]
|
|
revision = "ed3a127ec5fef7ae9ea95b01b542c47fbd999ce5"
|
|
version = "v1.5.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/yudai/gojsondiff"
|
|
packages = [
|
|
".",
|
|
"formatter"
|
|
]
|
|
revision = "7b1b7adf999dab73a6eb02669c3d82dbb27a3dd6"
|
|
version = "1.0.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/yudai/golcs"
|
|
packages = ["."]
|
|
revision = "ecda9a501e8220fae3b4b600c3db4b0ba22cfc68"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "golang.org/x/crypto"
|
|
packages = [
|
|
"md4",
|
|
"pbkdf2"
|
|
]
|
|
revision = "1a580b3eff7814fc9b40602fd35256c63b50f491"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "golang.org/x/net"
|
|
packages = [
|
|
"context",
|
|
"context/ctxhttp",
|
|
"http/httpguts",
|
|
"http2",
|
|
"http2/hpack",
|
|
"idna",
|
|
"internal/timeseries",
|
|
"trace"
|
|
]
|
|
revision = "2491c5de3490fced2f6cff376127c667efeed857"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "golang.org/x/oauth2"
|
|
packages = [
|
|
".",
|
|
"google",
|
|
"internal",
|
|
"jws",
|
|
"jwt"
|
|
]
|
|
revision = "cdc340f7c179dbbfa4afd43b7614e8fcadde4269"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "golang.org/x/sync"
|
|
packages = ["errgroup"]
|
|
revision = "1d60e4601c6fd243af51cc01ddf169918a5407ca"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "golang.org/x/sys"
|
|
packages = ["unix"]
|
|
revision = "7c87d13f8e835d2fb3a70a2912c811ed0c1d241b"
|
|
|
|
[[projects]]
|
|
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"
|
|
]
|
|
revision = "f21a4dfb5e38f5895301dc265a8def02365cc3d0"
|
|
version = "v0.3.0"
|
|
|
|
[[projects]]
|
|
name = "google.golang.org/appengine"
|
|
packages = [
|
|
".",
|
|
"cloudsql",
|
|
"internal",
|
|
"internal/app_identity",
|
|
"internal/base",
|
|
"internal/datastore",
|
|
"internal/log",
|
|
"internal/modules",
|
|
"internal/remote_api",
|
|
"internal/urlfetch",
|
|
"urlfetch"
|
|
]
|
|
revision = "150dc57a1b433e64154302bdc40b6bb8aefa313a"
|
|
version = "v1.0.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "google.golang.org/genproto"
|
|
packages = ["googleapis/rpc/status"]
|
|
revision = "7bb2a897381c9c5ab2aeb8614f758d7766af68ff"
|
|
|
|
[[projects]]
|
|
name = "google.golang.org/grpc"
|
|
packages = [
|
|
".",
|
|
"balancer",
|
|
"balancer/base",
|
|
"balancer/roundrobin",
|
|
"codes",
|
|
"connectivity",
|
|
"credentials",
|
|
"encoding",
|
|
"encoding/proto",
|
|
"grpclb/grpc_lb_v1/messages",
|
|
"grpclog",
|
|
"health",
|
|
"health/grpc_health_v1",
|
|
"internal",
|
|
"keepalive",
|
|
"metadata",
|
|
"naming",
|
|
"peer",
|
|
"resolver",
|
|
"resolver/dns",
|
|
"resolver/passthrough",
|
|
"stats",
|
|
"status",
|
|
"tap",
|
|
"transport"
|
|
]
|
|
revision = "1e2570b1b19ade82d8dbb31bba4e65e9f9ef5b34"
|
|
version = "v1.11.1"
|
|
|
|
[[projects]]
|
|
branch = "v3"
|
|
name = "gopkg.in/alexcesaro/quotedprintable.v3"
|
|
packages = ["."]
|
|
revision = "2caba252f4dc53eaf6b553000885530023f54623"
|
|
|
|
[[projects]]
|
|
name = "gopkg.in/asn1-ber.v1"
|
|
packages = ["."]
|
|
revision = "379148ca0225df7a432012b8df0355c2a2063ac0"
|
|
version = "v1.2"
|
|
|
|
[[projects]]
|
|
name = "gopkg.in/bufio.v1"
|
|
packages = ["."]
|
|
revision = "567b2bfa514e796916c4747494d6ff5132a1dfce"
|
|
version = "v1"
|
|
|
|
[[projects]]
|
|
name = "gopkg.in/ini.v1"
|
|
packages = ["."]
|
|
revision = "6529cf7c58879c08d927016dde4477f18a0634cb"
|
|
version = "v1.36.0"
|
|
|
|
[[projects]]
|
|
name = "gopkg.in/macaron.v1"
|
|
packages = ["."]
|
|
revision = "c1be95e6d21e769e44e1ec33cec9da5837861c10"
|
|
version = "v1.3.1"
|
|
|
|
[[projects]]
|
|
branch = "v2"
|
|
name = "gopkg.in/mail.v2"
|
|
packages = ["."]
|
|
revision = "5bc5c8bb07bd8d2803831fbaf8cbd630fcde2c68"
|
|
|
|
[[projects]]
|
|
name = "gopkg.in/redis.v2"
|
|
packages = ["."]
|
|
revision = "e6179049628164864e6e84e973cfb56335748dea"
|
|
version = "v2.3.2"
|
|
|
|
[[projects]]
|
|
name = "gopkg.in/yaml.v2"
|
|
packages = ["."]
|
|
revision = "5420a8b6744d3b0345ab293f6fcba19c978f1183"
|
|
version = "v2.2.1"
|
|
|
|
[solve-meta]
|
|
analyzer-name = "dep"
|
|
analyzer-version = 1
|
|
inputs-digest = "85cc057e0cc074ab5b43bd620772d63d51e07b04e8782fcfe55e6929d2fc40f7"
|
|
solver-name = "gps-cdcl"
|
|
solver-version = 1
|