-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCargo.lock
195 lines (174 loc) · 8.36 KB
/
Cargo.lock
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
[[package]]
name = "batsat"
version = "0.3.1"
source = "git+https://github.com/c-cube/batsat#3b91e4db79789b585714698e3b84c616c8e75d7f"
dependencies = [
"bit-vec 0.5.0 (registry+https://github.com/rust-lang/crates.io-index)",
"log 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)",
"smallvec 0.6.9 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "batsmt-cc"
version = "0.1.0"
source = "git+https://github.com/AestheticIntegration/batsmt#a2dba342d2eaa6473e1397a79dd3162ec80685fe"
dependencies = [
"batsmt-core 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"batsmt-pretty 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"batsmt-theory 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"fxhash 0.2.1 (registry+https://github.com/rust-lang/crates.io-index)",
"log 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)",
"smallvec 0.6.9 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "batsmt-core"
version = "0.1.0"
source = "git+https://github.com/AestheticIntegration/batsmt#a2dba342d2eaa6473e1397a79dd3162ec80685fe"
dependencies = [
"batsmt-pretty 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"bit-set 0.5.0 (registry+https://github.com/rust-lang/crates.io-index)",
"fxhash 0.2.1 (registry+https://github.com/rust-lang/crates.io-index)",
"smallvec 0.6.9 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "batsmt-hast"
version = "0.1.0"
source = "git+https://github.com/AestheticIntegration/batsmt#a2dba342d2eaa6473e1397a79dd3162ec80685fe"
dependencies = [
"batsmt-core 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"batsmt-pretty 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"bit-set 0.5.0 (registry+https://github.com/rust-lang/crates.io-index)",
"fxhash 0.2.1 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "batsmt-logger"
version = "0.1.0"
source = "git+https://github.com/AestheticIntegration/batsmt#a2dba342d2eaa6473e1397a79dd3162ec80685fe"
dependencies = [
"colored 1.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
"log 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "batsmt-pretty"
version = "0.1.0"
source = "git+https://github.com/AestheticIntegration/batsmt#a2dba342d2eaa6473e1397a79dd3162ec80685fe"
dependencies = [
"pretty 0.5.2 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "batsmt-solver"
version = "0.1.0"
source = "git+https://github.com/AestheticIntegration/batsmt#a2dba342d2eaa6473e1397a79dd3162ec80685fe"
dependencies = [
"batsat 0.3.1 (git+https://github.com/c-cube/batsat)",
"batsmt-core 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"batsmt-pretty 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"batsmt-theory 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"log 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "batsmt-stubs"
version = "0.1.0"
dependencies = [
"batsmt-cc 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"batsmt-core 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"batsmt-hast 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"batsmt-logger 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"batsmt-pretty 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"batsmt-solver 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"batsmt-theory 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"bit-set 0.5.0 (registry+https://github.com/rust-lang/crates.io-index)",
"fxhash 0.2.1 (registry+https://github.com/rust-lang/crates.io-index)",
"ocaml 0.5.1 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "batsmt-theory"
version = "0.1.0"
source = "git+https://github.com/AestheticIntegration/batsmt#a2dba342d2eaa6473e1397a79dd3162ec80685fe"
dependencies = [
"batsmt-core 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
"batsmt-pretty 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)",
]
[[package]]
name = "bit-set"
version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
dependencies = [
"bit-vec 0.5.0 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "bit-vec"
version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
[[package]]
name = "byteorder"
version = "1.3.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
[[package]]
name = "cfg-if"
version = "0.1.7"
source = "registry+https://github.com/rust-lang/crates.io-index"
[[package]]
name = "colored"
version = "1.7.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
dependencies = [
"lazy_static 1.3.0 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "fxhash"
version = "0.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
dependencies = [
"byteorder 1.3.1 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "lazy_static"
version = "1.3.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
[[package]]
name = "log"
version = "0.4.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
dependencies = [
"cfg-if 0.1.7 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "ocaml"
version = "0.5.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
[[package]]
name = "pretty"
version = "0.5.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
dependencies = [
"typed-arena 1.4.1 (registry+https://github.com/rust-lang/crates.io-index)",
]
[[package]]
name = "smallvec"
version = "0.6.9"
source = "registry+https://github.com/rust-lang/crates.io-index"
[[package]]
name = "typed-arena"
version = "1.4.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
[metadata]
"checksum batsat 0.3.1 (git+https://github.com/c-cube/batsat)" = "<none>"
"checksum batsmt-cc 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)" = "<none>"
"checksum batsmt-core 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)" = "<none>"
"checksum batsmt-hast 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)" = "<none>"
"checksum batsmt-logger 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)" = "<none>"
"checksum batsmt-pretty 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)" = "<none>"
"checksum batsmt-solver 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)" = "<none>"
"checksum batsmt-theory 0.1.0 (git+https://github.com/AestheticIntegration/batsmt)" = "<none>"
"checksum bit-set 0.5.0 (registry+https://github.com/rust-lang/crates.io-index)" = "6f1efcc46c18245a69c38fcc5cc650f16d3a59d034f3106e9ed63748f695730a"
"checksum bit-vec 0.5.0 (registry+https://github.com/rust-lang/crates.io-index)" = "4440d5cb623bb7390ae27fec0bb6c61111969860f8e3ae198bfa0663645e67cf"
"checksum byteorder 1.3.1 (registry+https://github.com/rust-lang/crates.io-index)" = "a019b10a2a7cdeb292db131fc8113e57ea2a908f6e7894b0c3c671893b65dbeb"
"checksum cfg-if 0.1.7 (registry+https://github.com/rust-lang/crates.io-index)" = "11d43355396e872eefb45ce6342e4374ed7bc2b3a502d1b28e36d6e23c05d1f4"
"checksum colored 1.7.0 (registry+https://github.com/rust-lang/crates.io-index)" = "6e9a455e156a4271e12fd0246238c380b1e223e3736663c7a18ed8b6362028a9"
"checksum fxhash 0.2.1 (registry+https://github.com/rust-lang/crates.io-index)" = "c31b6d751ae2c7f11320402d34e41349dd1016f8d5d45e48c4312bc8625af50c"
"checksum lazy_static 1.3.0 (registry+https://github.com/rust-lang/crates.io-index)" = "bc5729f27f159ddd61f4df6228e827e86643d4d3e7c32183cb30a1c08f604a14"
"checksum log 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)" = "c84ec4b527950aa83a329754b01dbe3f58361d1c5efacd1f6d68c494d08a17c6"
"checksum ocaml 0.5.1 (registry+https://github.com/rust-lang/crates.io-index)" = "0897c88775d5d0f6a5f6b24ea3ff480826e355e9faa504bb42783a414001db79"
"checksum pretty 0.5.2 (registry+https://github.com/rust-lang/crates.io-index)" = "f60c0d9f6fc88ecdd245d90c1920ff76a430ab34303fc778d33b1d0a4c3bf6d3"
"checksum smallvec 0.6.9 (registry+https://github.com/rust-lang/crates.io-index)" = "c4488ae950c49d403731982257768f48fada354a5203fe81f9bb6f43ca9002be"
"checksum typed-arena 1.4.1 (registry+https://github.com/rust-lang/crates.io-index)" = "c6c06a92aef38bb4dc5b0df00d68496fc31307c5344c867bb61678c6e1671ec5"