blob: 10ef811182d1c57274cfb705e52ccbdb66f5f270 (
plain)
1
2
3
4
5
6
7
8
9
|
# 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
|