2018-04-18 18:58:39 +02:00
|
|
|
# This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'.
|
|
|
|
|
|
|
|
|
|
|
|
[solve-meta]
|
|
|
|
analyzer-name = "dep"
|
|
|
|
analyzer-version = 1
|
2018-04-18 19:06:50 +02:00
|
|
|
inputs-digest = "ab4fef131ee828e96ba67d31a7d690bd5f2f42040c6766b1b12fe856f87e0ff7"
|
2018-04-18 18:58:39 +02:00
|
|
|
solver-name = "gps-cdcl"
|
|
|
|
solver-version = 1
|