2018-10-25 12:02:58 +00:00
|
|
|
# This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'.
|
|
|
|
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:d1665c44bd5db19aaee18d1b6233c99b0b9a986e8bccb24ef54747547a48027f"
|
|
|
|
name = "github.com/PuerkitoBio/purell"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "0bcb03f4b4d0a9428594752bd2a3b9aa0a9d4bd4"
|
|
|
|
version = "v1.1.0"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
branch = "master"
|
|
|
|
digest = "1:c739832d67eb1e9cc478a19cc1a1ccd78df0397bf8a32978b759152e205f644b"
|
|
|
|
name = "github.com/PuerkitoBio/urlesc"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "de5bf2ad457846296e2031421a34e2568e304e35"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:e92f5581902c345eb4ceffdcd4a854fb8f73cf436d47d837d1ec98ef1fe0a214"
|
|
|
|
name = "github.com/StackExchange/wmi"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "5d049714c4a64225c3c79a7cf7d02f7fb5b96338"
|
|
|
|
version = "1.0.0"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:320e7ead93de9fd2b0e59b50fd92a4d50c1f8ab455d96bc2eb083267453a9709"
|
|
|
|
name = "github.com/asaskevich/govalidator"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "ccb8e960c48f04d6935e72476ae4a51028f9e22f"
|
|
|
|
version = "v9"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:2209584c0f7c9b68c23374e659357ab546e1b70eec2761f03280f69a8fd23d77"
|
|
|
|
name = "github.com/cenkalti/backoff"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "2ea60e5f094469f9e65adb9cd103795b73ae743e"
|
|
|
|
version = "v2.0.0"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
branch = "master"
|
|
|
|
digest = "1:08aeb20c1d146f9254126139f272865927b6db288145f88f0a3baacc24ddfa24"
|
|
|
|
name = "github.com/digitalocean/go-netbox"
|
|
|
|
packages = [
|
|
|
|
"netbox",
|
|
|
|
"netbox/client",
|
|
|
|
"netbox/client/circuits",
|
|
|
|
"netbox/client/dcim",
|
|
|
|
"netbox/client/extras",
|
|
|
|
"netbox/client/ipam",
|
|
|
|
"netbox/client/secrets",
|
|
|
|
"netbox/client/tenancy",
|
|
|
|
"netbox/client/virtualization",
|
|
|
|
"netbox/models",
|
|
|
|
]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "29433ec527e78486ea0a5758817ab672d977f90e"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
branch = "master"
|
|
|
|
digest = "1:7fb51688eadf38272411852d7a2b3538c7caff53309abee6c0964a83c00fe69e"
|
|
|
|
name = "github.com/globalsign/mgo"
|
|
|
|
packages = [
|
|
|
|
"bson",
|
|
|
|
"internal/json",
|
|
|
|
]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "eeefdecb41b842af6dc652aaea4026e8403e62df"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:64a5a67c69b70c2420e607a8545d674a23778ed9c3e80607bfd17b77c6c87f6a"
|
|
|
|
name = "github.com/go-ole/go-ole"
|
|
|
|
packages = [
|
|
|
|
".",
|
|
|
|
"oleutil",
|
|
|
|
]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "a41e3c4b706f6ae8dfbff342b06e40fa4d2d0506"
|
|
|
|
version = "v1.2.1"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:c49164b7b1e34324258ae61deef2cba7912005ba9cb7a9ee4930fe6bdfec7b5d"
|
|
|
|
name = "github.com/go-openapi/analysis"
|
|
|
|
packages = [
|
|
|
|
".",
|
|
|
|
"internal",
|
|
|
|
]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "c701774f4e604d952e4e8c56dee260be696e33c3"
|
|
|
|
version = "v0.17.2"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:ac4b35a4bba11edb2110fca0707bae03ae92fbd8222e6b483465d98efaabfb97"
|
|
|
|
name = "github.com/go-openapi/errors"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "d9664f9fab8994271e573ed69cf2adfc09b7a800"
|
|
|
|
version = "v0.17.2"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:953a2628e4c5c72856b53f5470ed5e071c55eccf943d798d42908102af2a610f"
|
|
|
|
name = "github.com/go-openapi/jsonpointer"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "ef5f0afec364d3b9396b7b77b43dbe26bf1f8004"
|
|
|
|
version = "v0.17.2"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:81210e0af657a0fb3638932ec68e645236bceefa4c839823db0c4d918f080895"
|
|
|
|
name = "github.com/go-openapi/jsonreference"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "8483a886a90412cd6858df4ea3483dce9c8e35a3"
|
|
|
|
version = "v0.17.2"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:a20e8bf0e58e2010677432ffbe5533c1e83bdf368ba5b057f3e00e2071ca8b09"
|
|
|
|
name = "github.com/go-openapi/loads"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "150d36912387ec2f607be674c5be309ddccc0eed"
|
|
|
|
version = "v0.17.2"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:cc4f0df1c69dd1928f4dc32ab31a637fcfa4b04b09c78af965d67980cfbfc486"
|
|
|
|
name = "github.com/go-openapi/runtime"
|
|
|
|
packages = [
|
|
|
|
".",
|
|
|
|
"client",
|
|
|
|
"logger",
|
|
|
|
"middleware",
|
|
|
|
"middleware/denco",
|
|
|
|
"middleware/header",
|
|
|
|
"middleware/untyped",
|
|
|
|
"security",
|
|
|
|
]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "231d7876b7019dbcbfc97a7ba764379497b67c1d"
|
|
|
|
version = "v0.17.2"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:394fed5c0425fe01da3a34078adaa1682e4deaea6e5d232dde25c4034004c151"
|
|
|
|
name = "github.com/go-openapi/spec"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "5bae59e25b21498baea7f9d46e9c147ec106a42e"
|
|
|
|
version = "v0.17.2"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:ffa79f4705a3a85f2412d2d163c37acdf60d128c679e641c323a5de712e23d27"
|
|
|
|
name = "github.com/go-openapi/strfmt"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "edab9990ffc9b4a428f3306ecf4d18a069ca3317"
|
|
|
|
version = "v0.17.2"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:32f3d2e7f343de7263c550d696fb8a64d3c49d8df16b1ddfc8e80e1e4b3233ce"
|
|
|
|
name = "github.com/go-openapi/swag"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "5899d5c5e619fda5fa86e14795a835f473ca284c"
|
|
|
|
version = "v0.17.2"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:58541fddf3f4ec485710f1b346e7f647baf09a878a604e47e3668c600fe44076"
|
|
|
|
name = "github.com/go-openapi/validate"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "d2eab7d93009e9215fc85b2faa2c2f2a98c2af48"
|
|
|
|
version = "v0.17.2"
|
|
|
|
|
|
|
|
[[projects]]
|
2018-10-25 12:20:50 +00:00
|
|
|
digest = "1:e7b2d33bb25e492a078f7aeb157906b3fc96d56ed0ae4186ee49259122ac487e"
|
2018-10-25 12:02:58 +00:00
|
|
|
name = "github.com/gobuffalo/packr"
|
2018-10-25 12:20:50 +00:00
|
|
|
packages = [
|
|
|
|
".",
|
|
|
|
"builder",
|
|
|
|
"packr",
|
|
|
|
"packr/cmd",
|
|
|
|
]
|
2018-10-25 12:02:58 +00:00
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "5a2cbb54c4e7d482e3f518c56f1f86f133d5204f"
|
|
|
|
version = "v1.13.7"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
branch = "master"
|
|
|
|
digest = "1:1ba1d79f2810270045c328ae5d674321db34e3aae468eb4233883b473c5c0467"
|
|
|
|
name = "github.com/golang/glog"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "23def4e6c14b4da8ac2ed8007337bc5eb5007998"
|
|
|
|
|
|
|
|
[[projects]]
|
2018-10-25 12:20:50 +00:00
|
|
|
digest = "1:b00d66edb5f40dbbdcd37292851a61c2644356e37d8fb6517394ffb4b24b1c22"
|
2018-10-25 12:02:58 +00:00
|
|
|
name = "github.com/golang/protobuf"
|
|
|
|
packages = [
|
|
|
|
"proto",
|
2018-10-25 12:20:50 +00:00
|
|
|
"protoc-gen-go",
|
2018-10-25 12:02:58 +00:00
|
|
|
"protoc-gen-go/descriptor",
|
2018-10-25 12:20:50 +00:00
|
|
|
"protoc-gen-go/generator",
|
|
|
|
"protoc-gen-go/generator/internal/remap",
|
|
|
|
"protoc-gen-go/grpc",
|
|
|
|
"protoc-gen-go/plugin",
|
2018-10-25 12:02:58 +00:00
|
|
|
"ptypes",
|
|
|
|
"ptypes/any",
|
|
|
|
"ptypes/duration",
|
|
|
|
"ptypes/timestamp",
|
|
|
|
]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "aa810b61a9c79d51363740d207bb46cf8e620ed5"
|
|
|
|
version = "v1.2.0"
|
|
|
|
|
2018-10-25 12:20:50 +00:00
|
|
|
[[projects]]
|
|
|
|
digest = "1:870d441fe217b8e689d7949fef6e43efbc787e50f200cb1e70dbca9204a1d6be"
|
|
|
|
name = "github.com/inconshreveable/mousetrap"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "76626ae9c91c4f2a10f34cad8ce83ea42c93bb75"
|
|
|
|
version = "v1.0"
|
|
|
|
|
2018-10-25 12:02:58 +00:00
|
|
|
[[projects]]
|
|
|
|
branch = "master"
|
|
|
|
digest = "1:84a5a2b67486d5d67060ac393aa255d05d24ed5ee41daecd5635ec22657b6492"
|
|
|
|
name = "github.com/mailru/easyjson"
|
|
|
|
packages = [
|
|
|
|
"buffer",
|
|
|
|
"jlexer",
|
|
|
|
"jwriter",
|
|
|
|
]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "60711f1a8329503b04e1c88535f419d0bb440bff"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:53bc4cd4914cd7cd52139990d5170d6dc99067ae31c56530621b18b35fc30318"
|
|
|
|
name = "github.com/mitchellh/mapstructure"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "3536a929edddb9a5b34bd6861dc4a9647cb459fe"
|
|
|
|
version = "v1.1.2"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:40e195917a951a8bf867cd05de2a46aaf1806c50cf92eebf4c16f78cd196f747"
|
|
|
|
name = "github.com/pkg/errors"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "645ef00459ed84a119197bfb8d8205042c6df63d"
|
|
|
|
version = "v0.8.0"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
branch = "master"
|
|
|
|
digest = "1:8f042d4b4c48d38d7a1201096299bd26d044c97c032ab20ee171fe5b0d201d2e"
|
|
|
|
name = "github.com/shirou/gopsutil"
|
|
|
|
packages = [
|
|
|
|
"internal/common",
|
|
|
|
"load",
|
|
|
|
]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "3ec50d2876a36047b2ca39f955ba88fb7a455e92"
|
|
|
|
|
2018-10-25 12:20:50 +00:00
|
|
|
[[projects]]
|
|
|
|
digest = "1:645cabccbb4fa8aab25a956cbcbdf6a6845ca736b2c64e197ca7cbb9d210b939"
|
|
|
|
name = "github.com/spf13/cobra"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "ef82de70bb3f60c65fb8eebacbb2d122ef517385"
|
|
|
|
version = "v0.0.3"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:c1b1102241e7f645bc8e0c22ae352e8f0dc6484b6cb4d132fa9f24174e0119e2"
|
|
|
|
name = "github.com/spf13/pflag"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "298182f68c66c05229eb03ac171abe6e309ee79a"
|
|
|
|
version = "v1.0.3"
|
|
|
|
|
2018-10-25 12:02:58 +00:00
|
|
|
[[projects]]
|
|
|
|
digest = "1:564b31f09a21367ada5b019d8413afe99cf770775606f94c7bef42b2ef79dfdf"
|
|
|
|
name = "github.com/ybbus/jsonrpc"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "dd866631e904a5df2067d934985c5def68f391ac"
|
|
|
|
version = "v2.1.2"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
branch = "master"
|
|
|
|
digest = "1:fb9be9f54a48793b8e2b0939373b52272b8cf0699d024a062df8596a77371524"
|
|
|
|
name = "github.com/ziutek/telnet"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "c3b780dc415b28894076b4ec975ea3ea69e3980f"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
branch = "master"
|
|
|
|
digest = "1:505dbee0833715a72a529bb57c354826ad42a4496fad787fa143699b4de1a6d0"
|
|
|
|
name = "golang.org/x/net"
|
|
|
|
packages = [
|
|
|
|
"context",
|
|
|
|
"http/httpguts",
|
|
|
|
"http2",
|
|
|
|
"http2/hpack",
|
|
|
|
"idna",
|
|
|
|
"internal/timeseries",
|
|
|
|
"trace",
|
|
|
|
]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "9b4f9f5ad5197c79fd623a3638e70d8b26cef344"
|
|
|
|
|
2018-10-25 12:20:50 +00:00
|
|
|
[[projects]]
|
|
|
|
branch = "master"
|
|
|
|
digest = "1:39ebcc2b11457b703ae9ee2e8cca0f68df21969c6102cb3b705f76cca0ea0239"
|
|
|
|
name = "golang.org/x/sync"
|
|
|
|
packages = ["errgroup"]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "1d60e4601c6fd243af51cc01ddf169918a5407ca"
|
|
|
|
|
2018-10-25 12:02:58 +00:00
|
|
|
[[projects]]
|
|
|
|
branch = "master"
|
|
|
|
digest = "1:6c93c46c00889c28f5a105e7cb5ba56672fd4a2351375fa819acb44e66d427df"
|
|
|
|
name = "golang.org/x/sys"
|
|
|
|
packages = [
|
|
|
|
"unix",
|
|
|
|
"windows",
|
|
|
|
]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "d989b31c87461dc8ab2f1cac6792814e27fadea9"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:0c56024909189aee3364b7f21a95a27459f718aa7c199a5c111c36cfffd9eaef"
|
|
|
|
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",
|
|
|
|
"width",
|
|
|
|
]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "f21a4dfb5e38f5895301dc265a8def02365cc3d0"
|
|
|
|
version = "v0.3.0"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
branch = "master"
|
|
|
|
digest = "1:56b0bca90b7e5d1facf5fbdacba23e4e0ce069d25381b8e2f70ef1e7ebfb9c1a"
|
|
|
|
name = "google.golang.org/genproto"
|
|
|
|
packages = ["googleapis/rpc/status"]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "94acd270e44e65579b9ee3cdab25034d33fed608"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:e72ebff67b73d31785959af0660215213c58ab50d7b7d61aac0f1a6834c07e8c"
|
|
|
|
name = "google.golang.org/grpc"
|
|
|
|
packages = [
|
|
|
|
".",
|
|
|
|
"balancer",
|
|
|
|
"balancer/base",
|
|
|
|
"balancer/roundrobin",
|
|
|
|
"codes",
|
|
|
|
"connectivity",
|
|
|
|
"credentials",
|
|
|
|
"encoding",
|
|
|
|
"encoding/proto",
|
|
|
|
"grpclog",
|
|
|
|
"internal",
|
|
|
|
"internal/backoff",
|
|
|
|
"internal/channelz",
|
|
|
|
"internal/envconfig",
|
|
|
|
"internal/grpcrand",
|
|
|
|
"internal/transport",
|
|
|
|
"keepalive",
|
|
|
|
"metadata",
|
|
|
|
"naming",
|
|
|
|
"peer",
|
|
|
|
"reflection",
|
|
|
|
"reflection/grpc_reflection_v1alpha",
|
|
|
|
"resolver",
|
|
|
|
"resolver/dns",
|
|
|
|
"resolver/passthrough",
|
|
|
|
"stats",
|
|
|
|
"status",
|
|
|
|
"tap",
|
|
|
|
]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "2e463a05d100327ca47ac218281906921038fd95"
|
|
|
|
version = "v1.16.0"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
digest = "1:342378ac4dcb378a5448dd723f0784ae519383532f5e70ade24132c4c8693202"
|
|
|
|
name = "gopkg.in/yaml.v2"
|
|
|
|
packages = ["."]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "5420a8b6744d3b0345ab293f6fcba19c978f1183"
|
|
|
|
version = "v2.2.1"
|
|
|
|
|
|
|
|
[[projects]]
|
|
|
|
branch = "master"
|
|
|
|
digest = "1:9132eacc44d9bd1e03145ea2e9d4888800da7773d6edebb401f8cd34c9fb8380"
|
|
|
|
name = "vbom.ml/util"
|
|
|
|
packages = ["sortorder"]
|
|
|
|
pruneopts = "UT"
|
|
|
|
revision = "efcd4e0f97874370259c7d93e12aad57911dea81"
|
|
|
|
|
|
|
|
[solve-meta]
|
|
|
|
analyzer-name = "dep"
|
|
|
|
analyzer-version = 1
|
|
|
|
input-imports = [
|
|
|
|
"github.com/cenkalti/backoff",
|
|
|
|
"github.com/digitalocean/go-netbox/netbox",
|
|
|
|
"github.com/digitalocean/go-netbox/netbox/client",
|
|
|
|
"github.com/digitalocean/go-netbox/netbox/client/dcim",
|
|
|
|
"github.com/digitalocean/go-netbox/netbox/models",
|
|
|
|
"github.com/gobuffalo/packr",
|
2018-10-25 12:20:50 +00:00
|
|
|
"github.com/gobuffalo/packr/packr",
|
2018-10-25 12:02:58 +00:00
|
|
|
"github.com/golang/glog",
|
|
|
|
"github.com/golang/protobuf/proto",
|
2018-10-25 12:20:50 +00:00
|
|
|
"github.com/golang/protobuf/protoc-gen-go",
|
2018-10-25 21:37:37 +00:00
|
|
|
"github.com/shirou/gopsutil/load",
|
2018-10-25 12:02:58 +00:00
|
|
|
"github.com/ybbus/jsonrpc",
|
|
|
|
"github.com/ziutek/telnet",
|
|
|
|
"golang.org/x/net/context",
|
|
|
|
"golang.org/x/net/trace",
|
|
|
|
"google.golang.org/grpc",
|
|
|
|
"google.golang.org/grpc/codes",
|
|
|
|
"google.golang.org/grpc/credentials",
|
|
|
|
"google.golang.org/grpc/peer",
|
|
|
|
"google.golang.org/grpc/reflection",
|
|
|
|
"google.golang.org/grpc/status",
|
|
|
|
"vbom.ml/util/sortorder",
|
|
|
|
]
|
|
|
|
solver-name = "gps-cdcl"
|
|
|
|
solver-version = 1
|