You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
10 lines
222 B
10 lines
222 B
2 years ago
|
# 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
|