forked from sisl/SignalTemporalLogic.jl
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathProject.toml
More file actions
30 lines (26 loc) · 993 Bytes
/
Project.toml
File metadata and controls
30 lines (26 loc) · 993 Bytes
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
name = "SignalTemporalLogic"
uuid = "a79a9ddd-d50e-4d85-a979-5d85760e62a0"
authors = ["Robert Moss <rmoss92@gmail.com>"]
version = "1.0.0"
[deps]
InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
Markdown = "d6f4376e-aef5-505a-96c1-9c027394607a"
PlutoUI = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
Zygote = "e88e6eb3-aa80-5325-afca-941959d7151f"
[compat]
InteractiveUtils = "1"
Markdown = "1"
PlutoUI = "0.7"
Zygote = "0.6, 0.7"
julia = "1"
[extras]
InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
LaTeXStrings = "b964fa9f-0449-5b57-a5c2-d3ea65f4040f"
LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
Markdown = "d6f4376e-aef5-505a-96c1-9c027394607a"
Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
[targets]
test = ["InteractiveUtils", "LaTeXStrings", "LinearAlgebra", "Markdown", "Plots", "Random", "Statistics", "Test"]