-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathProject.toml
36 lines (33 loc) · 1.18 KB
/
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
28
29
30
31
32
33
34
35
36
name = "Dice"
uuid = "94eeadfc-1ba6-40b7-9ed8-dee71557d525"
authors = ["Guy Van den Broeck <[email protected]>"]
version = "0.1.0"
[deps]
BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
CUDD = "345a2cc7-28d8-58b2-abdf-cff77ea7d7f1"
DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
DirectedAcyclicGraphs = "1e6dae5e-d6e2-422d-9af3-452e7a3785ee"
Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"
Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6"
IRTools = "7869d1d1-7146-5819-86e3-90919afe41df"
Jive = "ba5e3d4b-8524-549f-bc71-e76ad9e9deed"
Logging = "56ddb016-857b-54e1-b83d-db4d58db5568"
MacroTools = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09"
Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
PrecompileTools = "aea7be01-6a6a-4083-8856-8a6e6704d82a"
SymPy = "24249f21-da20-56a4-8eb1-6a02cf4ae2e6"
SymbolicNumericIntegration = "78aadeae-fbc0-11eb-17b6-c7ec0477ba9e"
Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"
[compat]
CUDD = "0.3"
DataStructures = "0.18"
DirectedAcyclicGraphs = "0.1.1"
Distributions = "0.25"
Graphs = "1"
Jive = "0.2"
MacroTools = "0.5"
PrecompileTools = "1"
julia = "1.8,1.9"
[sources.IRTools]
rev = "loop-break-patch"
url = "https://github.com/PoorvaGarg/IRTools.jl"