arno/kube-bench
1
0
Fork 0
mirror of https://github.com/aquasecurity/kube-bench.git synced 2024-12-24 07:28:06 +00:00
Code Issues Releases Wiki Activity
4f79d62149
kube-bench/Gopkg.lock

255 lines
7.2 KiB
Plaintext
Raw Normal View History

Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
# This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'.
Add flags to further filter CIS checks to run
2019-04-29 10:17:06 +00:00
[[projects]]
digest = "1:ffe9824d294da03b391f44e1ae8281281b4afc1bdaa9588c9097785e3af10cec"
name = "github.com/davecgh/go-spew"
packages = ["spew"]
pruneopts = "UT"
revision = "8991bc29aa16c548c550c7ff78260e27b9ab7c73"
version = "v1.1.1"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:938a2672d6ebbb7f7bc63eee3e4b9464c16ffcf77ec8913d3edbf32b4e3984dd"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/fatih/color"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "570b54cabe6b8eb0bc2dfce68d964677d63b5260"
version = "v1.5.0"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:38c783cf85b9454cc02a1a8319239800ed0af6c1c864adf19cea0539e134adad"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/fsnotify/fsnotify"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "4da3e2cfbabc9f751898f250b49f2439785783a1"
[[projects]]
branch = "master"
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:1ba1d79f2810270045c328ae5d674321db34e3aae468eb4233883b473c5c0467"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/golang/glog"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "23def4e6c14b4da8ac2ed8007337bc5eb5007998"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:145eff5207977eb95c3649a27cdc2e467d8a1c104810bc12b6a53745a91d823a"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/hashicorp/hcl"
packages = [
".",
"hcl/ast",
"hcl/parser",
"hcl/scanner",
"hcl/strconv",
"hcl/token",
"json/parser",
"json/scanner",
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
"json/token",
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "23c074d0eceb2b8a5bfdbb271ab780cde70f05a8"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:870d441fe217b8e689d7949fef6e43efbc787e50f200cb1e70dbca9204a1d6be"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/inconshreveable/mousetrap"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "76626ae9c91c4f2a10f34cad8ce83ea42c93bb75"
version = "v1.0"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:510a2b056950ed12b4f3ac704ee1b34fd1920cb5b26f60f98d069de89c60adb7"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/jinzhu/gorm"
packages = [
".",
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
"dialects/postgres",
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "5174cc5c242a728b435ea2be8a2f7f998e15429b"
version = "v1.0"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:2cf1e05311b662e68d938f6655c6c5a44ae0e6b3995e390c75fcd8224afa48df"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/jinzhu/inflection"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "1c35d901db3da928c72a72d8458480cc9ade058f"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:38dd5cee5306173bfe78f8c401edec1e08f772551bee95a85617b4e39347e366"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/lib/pq"
packages = [
".",
"hstore",
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
"oid",
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "83612a56d3dd153a94a629cd64925371c9adad78"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:9cbfcfd1ec741817698b844d17b523f54682a5f7c8683b1ec62b6b6542143240"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/magiconair/properties"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "49d762b9817ba1c2e9d0c69183c2b4a8b8f1d934"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:31fcf8f5f8f6cc36ef11182c0a0f63ba464e1a7ad9f0e92a7cf46f38bfc0adfd"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/mattn/go-colorable"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "5411d3eea5978e6cdc258b30de592b60df6aba96"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:fa610f9fe6a93f4a75e64c83673dfff9bf1a34bbb21e6102021b6bc7850834a3"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/mattn/go-isatty"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "57fdcb988a5c543893cc61bce354a6e24ab70022"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:56a0bd1a1f3809171d1abe0bfd389558be0cd672e858e1f831b88f806aa8764f"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/mitchellh/mapstructure"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "06020f85339e21b2478f756a78e295255ffa4d6a"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:128af710970a788bb2348dbcdde6b86fa41f92086297f909d659b6d3affc2902"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/pelletier/go-toml"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "0131db6d737cfbbfb678f8b7d92e55e27ce46224"
Add flags to further filter CIS checks to run
2019-04-29 10:17:06 +00:00
[[projects]]
digest = "1:0028cb19b2e4c3112225cd871870f2d9cf49b9b4276531f03438a88e94be86fe"
name = "github.com/pmezard/go-difflib"
packages = ["difflib"]
pruneopts = "UT"
revision = "792786c7400a136282c1664665ae0a8db921c6c2"
version = "v1.0.0"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:1fccaaeae58b2a2f1af4dbf7eee92ff14f222e161d143bfd20082ef664f91216"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/spf13/afero"
packages = [
".",
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
"mem",
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "57afd63c68602b63ed976de00dd066ccb3c319db"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:9b28ee2984c69d78afe2ce52b1650ba91a6381f355ff08c1d0e53d9e66bd62fe"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/spf13/cast"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "acbeb36b902d72a7a4c18e8f3241075e7ab763e4"
version = "v1.1.0"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:7ffc0983035bc7e297da3688d9fe19d60a420e9c38bef23f845c53788ed6a05e"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/spf13/cobra"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "7b2c5ac9fc04fc5efafb60700713d4fa609b777b"
version = "v0.0.1"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:9f28b7e326b8cd1db556678b7ce679cf9bf888647e40922f91d9d40f451f942b"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/spf13/jwalterweatherman"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "12bd96e66386c1960ab0f74ced1362f66f552f7b"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:772bf4d1907ccb275aaa532ec6cb0d85fc61bd05648af28551590af3ea4e2d53"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/spf13/pflag"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "4c012f6dcd9546820e378d0bdda4d8fc772cdfea"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:f8e1a678a2571e265f4bf91a3e5e32aa6b1474a55cb0ea849750cc177b664d96"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "github.com/spf13/viper"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "25b30aa063fc18e48662b86996252eabdcf2f0c7"
version = "v1.0.0"
Add flags to further filter CIS checks to run
2019-04-29 10:17:06 +00:00
[[projects]]
digest = "1:ac83cf90d08b63ad5f7e020ef480d319ae890c208f8524622a2f3136e2686b02"
name = "github.com/stretchr/objx"
packages = ["."]
pruneopts = "UT"
revision = "477a77ecc69700c7cdeb1fa9e129548e1c1c393c"
version = "v0.1.1"
[[projects]]
digest = "1:0bcc464dabcfad5393daf87c3f8142911d0f6c52569b837e91a1c15e890265f3"
name = "github.com/stretchr/testify"
packages = [
"assert",
"mock",
]
pruneopts = "UT"
revision = "ffdc059bfe9ce6a4e144ba849dbedead332c6053"
version = "v1.3.0"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:c9c0ba9ea00233c41b91e441cfd490f34b129bbfebcb1858979623bd8de07f72"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "golang.org/x/sys"
packages = ["unix"]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "e24f485414aeafb646f6fca458b0bf869c0880a1"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:8029e9743749d4be5bc9f7d42ea1659471767860f0cdc34d37c3111bd308a295"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "golang.org/x/text"
packages = [
"internal/gen",
"internal/triegen",
"internal/ucd",
"transform",
"unicode/cldr",
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
"unicode/norm",
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "e19ae1496984b1c655b8044a65c0300a3c878dd3"
[[projects]]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
digest = "1:cb130999076da4717267c51235d62b63228c330ad86160255cbe3276de4c9892"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
name = "gopkg.in/yaml.v2"
packages = ["."]
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
pruneopts = "UT"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
revision = "c95af922eae69f190717a0b7148960af8c55a072"
Support JSON and YAML configuration Support new configuration options besides --flags: - JSON file through `jsonpath` - YAML file through `yamlpath` These new options are fully backwards-compatible with the existing tests. Added a new profile, 1.11-json, that expects a JSON kubelet configuration file and scores accordingly. This profile is compatible with EKS.
2019-03-11 18:05:33 +00:00
[[projects]]
digest = "1:e8e3acc03397f71fad44385631e665c639a8d55bd187bcfa6e70b695e3705edd"
name = "k8s.io/client-go"
packages = [
"third_party/forked/golang/template",
"util/jsonpath",
]
pruneopts = "UT"
revision = "e64494209f554a6723674bd494d69445fb76a1d4"
version = "v10.0.0"
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
[solve-meta]
analyzer-name = "dep"
analyzer-version = 1
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
input-imports = [
"github.com/fatih/color",
"github.com/golang/glog",
"github.com/jinzhu/gorm",
"github.com/jinzhu/gorm/dialects/postgres",
"github.com/spf13/cobra",
"github.com/spf13/viper",
Add flags to further filter CIS checks to run
2019-04-29 10:17:06 +00:00
"github.com/stretchr/testify/assert",
"github.com/stretchr/testify/mock",
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
"gopkg.in/yaml.v2",
Add flags to further filter CIS checks to run
2019-04-29 10:17:06 +00:00
"k8s.io/client-go/util/jsonpath",
Adds master node detection and a root command that automatically detect checks to run. The root command will run node checks and if possible master checks. I've also added some Makefile targets to improve local testing and improve the documentation.
2019-03-07 17:02:43 +00:00
]
Migrate dependency management to dep
2018-05-16 23:11:39 +00:00
solver-name = "gps-cdcl"
solver-version = 1
Reference in New Issue Copy Permalink