-
Notifications
You must be signed in to change notification settings - Fork 0
/
Cargo.lock
55 lines (48 loc) · 1.33 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
# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 3
[[package]]
name = "cfg-if"
version = "1.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
[[package]]
name = "either"
version = "1.8.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "90e5c1c8368803113bf0c9584fc495a58b86dc8a29edbf8fe877d21d9507e797"
[[package]]
name = "itertools"
version = "0.10.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a9a9d19fa1e79b6215ff29b9d6880b706147f16e9b1dbb1e4e5947b5b02bc5e3"
dependencies = [
"either",
]
[[package]]
name = "log"
version = "0.4.17"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "abb12e687cfb44aa40f41fc3978ef76448f9b6038cad6aef4259d3c095a2382e"
dependencies = [
"cfg-if",
]
[[package]]
name = "the-witness"
version = "0.1.0"
dependencies = [
"itertools",
"z3",
]
[[package]]
name = "z3"
version = "0.11.2"
source = "git+https://github.com/Bickio/z3.rs?branch=build-issues#78298c25574cf46ef7fa1c07dec46e5dec66899e"
dependencies = [
"log",
"z3-sys",
]
[[package]]
name = "z3-sys"
version = "0.7.1"
source = "git+https://github.com/Bickio/z3.rs?branch=build-issues#78298c25574cf46ef7fa1c07dec46e5dec66899e"