blob: 10ef811182d1c57274cfb705e52ccbdb66f5f270 [file] [log] [blame] [edit]
# This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'.
[solve-meta]
analyzer-name = "dep"
analyzer-version = 1
input-imports = []
solver-name = "gps-cdcl"
solver-version = 1