-
Notifications
You must be signed in to change notification settings - Fork 1
/
Project.toml
27 lines (23 loc) · 753 Bytes
/
Project.toml
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
name = "PAndQ"
uuid = "0e9bd771-5675-474a-ac7f-e6301f653425"
authors = ["Jakob Peters <jakobj.peters@gmail.com>"]
version = "0.3.1"
[deps]
AbstractTrees = "1520ce14-60c1-5f80-bbc7-55ef81b5835c"
CxxWrap = "1f15a43c-97ca-5a2a-ae31-89f07a497df4"
PrecompileTools = "aea7be01-6a6a-4083-8856-8a6e6704d82a"
PrettyTables = "08abe8d2-0d0c-5749-adfa-8a2ac140af0d"
ReplMaker = "b873ce64-0db9-51f5-a568-4457d8e49576"
libpicosat_jll = "6b231c3b-13f8-5ced-86ae-8860c7f75d86"
z3_jll = "1bc4e1ec-7839-5212-8f2f-0d16b7bd09bc"
[weakdeps]
Latexify = "23fbe1c1-3f47-55db-b15f-69d7ec21a316"
[extensions]
LatexifyExtension = "Latexify"
[compat]
AbstractTrees = "0.4"
PrecompileTools = "1.1"
PrettyTables = "2.2.7"
ReplMaker = "0.2.5"
julia = "1.9"
libpicosat_jll = "965"