Created
August 13, 2020 05:13
-
-
Save MaximeBouton/7ce4aa329f6aa46eb75c76b14f559136 to your computer and use it in GitHub Desktop.
Manifest.toml for running the rock sample model checking example on julia 1.3
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This file is machine-generated - editing it directly is not advised | |
[[ArnoldiMethod]] | |
deps = ["DelimitedFiles", "LinearAlgebra", "Random", "SparseArrays", "StaticArrays", "Test"] | |
git-tree-sha1 = "2b6845cea546604fb4dca4e31414a6a59d39ddcd" | |
uuid = "ec485272-7323-5ecc-a04f-4719b315124d" | |
version = "0.0.4" | |
[[Base64]] | |
uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f" | |
[[BeliefUpdaters]] | |
deps = ["POMDPModelTools", "POMDPModels", "POMDPs", "Random", "Statistics", "StatsBase"] | |
git-tree-sha1 = "503efaa05f91b32161d256ccf4f4f71382f7bfb9" | |
uuid = "8bb6e9a1-7d73-552c-a44a-e5dc5634aac4" | |
version = "0.2.1" | |
[[BinaryProvider]] | |
deps = ["Libdl", "Logging", "SHA"] | |
git-tree-sha1 = "ecdec412a9abc8db54c0efc5548c64dfce072058" | |
uuid = "b99e7846-7c00-51b0-8f62-c81ae34c0232" | |
version = "0.5.10" | |
[[Bzip2_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "5ccb0770e3d1c185a52e6d36e3ffb830639ed3d2" | |
uuid = "6e34b625-4abd-537c-b88f-471c36dfa7a0" | |
version = "1.0.6+3" | |
[[Cairo]] | |
deps = ["Cairo_jll", "Colors", "Glib_jll", "Graphics", "Libdl", "Pango_jll"] | |
git-tree-sha1 = "e4c0b40e9c8fb659837d8dc8cf538bbbc831a061" | |
uuid = "159f3aea-2a34-519c-b102-8c37f9878175" | |
version = "1.0.4" | |
[[Cairo_jll]] | |
deps = ["Bzip2_jll", "Fontconfig_jll", "FreeType2_jll", "Glib_jll", "LZO_jll", "Libdl", "Pixman_jll", "Pkg", "Xorg_libXext_jll", "Xorg_libXrender_jll", "Zlib_jll", "libpng_jll"] | |
git-tree-sha1 = "d296f5e975306844de3e57118c3cf4a7cf2a8762" | |
uuid = "83423d85-b0ee-5818-9007-b63ccbeb887a" | |
version = "1.16.0+4" | |
[[CategoricalArrays]] | |
deps = ["DataAPI", "Future", "JSON", "Missings", "Printf", "Statistics", "Unicode"] | |
git-tree-sha1 = "a6c17353ee38ddab30e73dcfaa1107752de724ec" | |
uuid = "324d7699-5711-5eae-9e2f-1d82baa6b597" | |
version = "0.8.1" | |
[[CodeTracking]] | |
deps = ["InteractiveUtils", "UUIDs"] | |
git-tree-sha1 = "cab4da992adc0a64f63fa30d2db2fd8bec40cab4" | |
uuid = "da1fd8a2-8d9e-5ec2-8556-3022fb5608a2" | |
version = "0.5.11" | |
[[CodecZlib]] | |
deps = ["TranscodingStreams", "Zlib_jll"] | |
git-tree-sha1 = "ded953804d019afa9a3f98981d99b33e3db7b6da" | |
uuid = "944b1d66-785c-5afd-91f1-9de20f533193" | |
version = "0.7.0" | |
[[ColorSchemes]] | |
deps = ["ColorTypes", "Colors", "FixedPointNumbers", "Random", "StaticArrays"] | |
git-tree-sha1 = "7a15e3690529fd1042f0ab954dff7445b1efc8a5" | |
uuid = "35d6a980-a343-548e-a6ea-1d62b119f2f4" | |
version = "3.9.0" | |
[[ColorTypes]] | |
deps = ["FixedPointNumbers", "Random"] | |
git-tree-sha1 = "607c0ea16cb32af49ea2976f90c0c5acbca37d21" | |
uuid = "3da002f7-5984-5a60-b8a6-cbb66c0b333f" | |
version = "0.10.8" | |
[[Colors]] | |
deps = ["ColorTypes", "FixedPointNumbers", "InteractiveUtils", "Reexport"] | |
git-tree-sha1 = "5639e44833cfcf78c6a73fbceb4da75611d312cd" | |
uuid = "5ae59095-9a9b-59fe-a467-6f913c188581" | |
version = "0.12.3" | |
[[Compat]] | |
deps = ["Base64", "Dates", "DelimitedFiles", "Distributed", "InteractiveUtils", "LibGit2", "Libdl", "LinearAlgebra", "Markdown", "Mmap", "Pkg", "Printf", "REPL", "Random", "SHA", "Serialization", "SharedArrays", "Sockets", "SparseArrays", "Statistics", "Test", "UUIDs", "Unicode"] | |
git-tree-sha1 = "a6a8197ae253f2c1a22b2ae17c2dfaf5812c03aa" | |
uuid = "34da2185-b29b-5c13-b0c7-acf172513d20" | |
version = "3.13.0" | |
[[CompilerSupportLibraries_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "7c4f882c41faa72118841185afc58a2eb00ef612" | |
uuid = "e66e0078-7015-5450-92f7-15fbd957f2ae" | |
version = "0.3.3+0" | |
[[Compose]] | |
deps = ["Base64", "Colors", "DataStructures", "Dates", "IterTools", "JSON", "LinearAlgebra", "Measures", "Printf", "Random", "Requires", "Statistics", "UUIDs"] | |
git-tree-sha1 = "157b75f64c26f36b55b5456dff08e524e591ec8d" | |
uuid = "a81c6b42-2e10-5240-aca2-a61377ecd94b" | |
version = "0.9.0" | |
[[Crayons]] | |
git-tree-sha1 = "c437a9c2114c7ba19322712e58942b383ffbd6c0" | |
uuid = "a8cc5b0e-0ffa-5ad4-8c14-923d3ee1735f" | |
version = "4.0.3" | |
[[Cxx]] | |
deps = ["BinaryProvider", "Libdl", "REPL"] | |
git-tree-sha1 = "71728149f62225470a4ae4260536a98a5009997c" | |
uuid = "a0b5b9ef-44b7-5148-a2d1-f6db19f3c3d2" | |
version = "0.4.0" | |
[[DataAPI]] | |
git-tree-sha1 = "176e23402d80e7743fc26c19c681bfb11246af32" | |
uuid = "9a962f9c-6df0-11e9-0e5d-c546b8b5ee8a" | |
version = "1.3.0" | |
[[DataFrames]] | |
deps = ["CategoricalArrays", "Compat", "DataAPI", "Future", "InvertedIndices", "IteratorInterfaceExtensions", "Missings", "PooledArrays", "Printf", "REPL", "Reexport", "SortingAlgorithms", "Statistics", "TableTraits", "Tables", "Unicode"] | |
git-tree-sha1 = "4fe99dbfb5201c5766d20d32a65209434347fd58" | |
uuid = "a93c6f00-e57d-5684-b7b6-d8193f3e46c0" | |
version = "0.21.6" | |
[[DataStructures]] | |
deps = ["InteractiveUtils", "OrderedCollections"] | |
git-tree-sha1 = "88d48e133e6d3dd68183309877eac74393daa7eb" | |
uuid = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8" | |
version = "0.17.20" | |
[[DataValueInterfaces]] | |
git-tree-sha1 = "bfc1187b79289637fa0ef6d4436ebdfe6905cbd6" | |
uuid = "e2d170a0-9d28-54be-80f0-106bbe20a464" | |
version = "1.0.0" | |
[[Dates]] | |
deps = ["Printf"] | |
uuid = "ade2ca70-3891-5945-98fb-dc099432e06a" | |
[[DelimitedFiles]] | |
deps = ["Mmap"] | |
uuid = "8bb1440f-4735-579b-a4ab-409b98df4dab" | |
[[DiscreteValueIteration]] | |
deps = ["POMDPLinter", "POMDPModelTools", "POMDPPolicies", "POMDPs", "Printf", "SparseArrays"] | |
git-tree-sha1 = "52a4dc28c93f5a06cde91be16f984d093a140534" | |
uuid = "4b033969-44f6-5439-a48b-c11fa3648068" | |
version = "0.4.3" | |
[[Distributed]] | |
deps = ["Random", "Serialization", "Sockets"] | |
uuid = "8ba89e20-285c-5b6f-9357-94700520ee1b" | |
[[Distributions]] | |
deps = ["FillArrays", "LinearAlgebra", "PDMats", "Printf", "QuadGK", "Random", "SpecialFunctions", "Statistics", "StatsBase", "StatsFuns"] | |
git-tree-sha1 = "dec9607adfa6a82399cce0bd9b8557f8cc3b7bcd" | |
uuid = "31c24e10-a181-5473-b8eb-7969acd0382f" | |
version = "0.23.9" | |
[[Expat_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "def36fdc72dc7a9953673cf5492588ef3d79139c" | |
uuid = "2e619515-83b5-522b-bb60-26c02a35a201" | |
version = "2.2.7+3" | |
[[FFMPEG]] | |
deps = ["BinaryProvider", "Libdl"] | |
git-tree-sha1 = "9143266ba77d3313a4cf61d8333a1970e8c5d8b6" | |
uuid = "c87230d0-a227-11e9-1b43-d7ebe4e7570a" | |
version = "0.2.4" | |
[[FileIO]] | |
deps = ["Pkg"] | |
git-tree-sha1 = "f354b2087a3b01c1d7152c19f45886c8a036fa5e" | |
uuid = "5789e2e9-d7fb-5bc7-8068-2c6fae9b9549" | |
version = "1.4.0" | |
[[FileWatching]] | |
uuid = "7b1f6079-737a-58dc-b8bc-7a2ca5c1b5ee" | |
[[FillArrays]] | |
deps = ["LinearAlgebra", "Random", "SparseArrays"] | |
git-tree-sha1 = "ee36767ad1580c40559da6a3a55cf6f3856c6517" | |
uuid = "1a297f60-69ca-5386-bcde-b61e274b549b" | |
version = "0.9.2" | |
[[FixedPointNumbers]] | |
deps = ["Statistics"] | |
git-tree-sha1 = "335bfdceacc84c5cdf16aadc768aa5ddfc5383cc" | |
uuid = "53c48c17-4a7d-5ca2-90c5-79b7896eea93" | |
version = "0.8.4" | |
[[Fontconfig_jll]] | |
deps = ["Bzip2_jll", "Expat_jll", "FreeType2_jll", "Libdl", "Libuuid_jll", "Pkg", "Zlib_jll"] | |
git-tree-sha1 = "73267a13eabf7506cbc205358139e399a365ab4a" | |
uuid = "a3f928ae-7b40-5064-980b-68af3947d34b" | |
version = "2.13.1+12" | |
[[FreeType2_jll]] | |
deps = ["Bzip2_jll", "Libdl", "Pkg", "Zlib_jll"] | |
git-tree-sha1 = "158698cb8b27eccc7a0de16b73ca7912e164d88b" | |
uuid = "d7e528f0-a631-5988-bf34-fe36492bcfd7" | |
version = "2.10.1+3" | |
[[FriBidi_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "94e98e5597e745d9fb3094d89c7b0b754204c9dd" | |
uuid = "559328eb-81f9-559d-9380-de523a88c83c" | |
version = "1.0.5+4" | |
[[Future]] | |
deps = ["Random"] | |
uuid = "9fa8497b-333b-5362-9e8d-4d0656e87820" | |
[[Gettext_jll]] | |
deps = ["Libdl", "Libiconv_jll", "Pkg", "XML2_jll"] | |
git-tree-sha1 = "731622006369631e1d0c180a61d2dd5fe9e4dfd4" | |
uuid = "78b55507-aeef-58d4-861c-77aaff3498b1" | |
version = "0.20.1+4" | |
[[Glib_jll]] | |
deps = ["Gettext_jll", "Libdl", "Libffi_jll", "Libiconv_jll", "Libmount_jll", "PCRE_jll", "Pkg", "Zlib_jll"] | |
git-tree-sha1 = "09ea3797c586eedbb383eb8f1c950a12923f1541" | |
uuid = "7746bdde-850d-59dc-9ae8-88ece973131d" | |
version = "2.59.0+2" | |
[[Graphics]] | |
deps = ["Colors", "LinearAlgebra", "NaNMath"] | |
git-tree-sha1 = "45d684ead5b65c043ad46bd5be750d61c39d7ef8" | |
uuid = "a2bd30eb-e257-5431-a919-1863eab51364" | |
version = "1.0.2" | |
[[Graphite2_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "6fad1258f2c9eacb86e8726d38c2ad6549f9d91e" | |
uuid = "3b182d85-2403-5c21-9c21-1e1f0cc25472" | |
version = "1.3.13+1" | |
[[HarfBuzz_jll]] | |
deps = ["Cairo_jll", "Fontconfig_jll", "FreeType2_jll", "Gettext_jll", "Glib_jll", "Graphite2_jll", "Libdl", "Libffi_jll", "Pkg"] | |
git-tree-sha1 = "7a206ed46082e986179586a4ed60cbc740313ea6" | |
uuid = "2e76f6c2-a576-52d4-95c1-20adfe4de566" | |
version = "2.6.1+5" | |
[[Inflate]] | |
git-tree-sha1 = "f5fc07d4e706b84f72d54eedcc1c13d92fb0871c" | |
uuid = "d25df0c9-e2be-5dd7-82c8-3ad0b3e990b9" | |
version = "0.1.2" | |
[[InteractiveUtils]] | |
deps = ["Markdown"] | |
uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240" | |
[[InvertedIndices]] | |
deps = ["Test"] | |
git-tree-sha1 = "15732c475062348b0165684ffe28e85ea8396afc" | |
uuid = "41ab1584-1d38-5bbf-9106-f11c6c58b48f" | |
version = "1.0.0" | |
[[IterTools]] | |
git-tree-sha1 = "05110a2ab1fc5f932622ffea2a003221f4782c18" | |
uuid = "c8e1da08-722c-5040-9ed9-7db0dc04731e" | |
version = "1.3.0" | |
[[IteratorInterfaceExtensions]] | |
git-tree-sha1 = "a3f24677c21f5bbe9d2a714f95dcd58337fb2856" | |
uuid = "82899510-4779-5014-852e-03e436cf321d" | |
version = "1.0.0" | |
[[JLD2]] | |
deps = ["CodecZlib", "DataStructures", "FileIO", "Mmap", "Pkg", "Printf", "UUIDs"] | |
git-tree-sha1 = "9353b717ee4e27beab4e902c92a06bb5f160d2cf" | |
uuid = "033835bb-8acc-5ee8-8aae-3f567f8a3819" | |
version = "0.1.14" | |
[[JSON]] | |
deps = ["Dates", "Mmap", "Parsers", "Unicode"] | |
git-tree-sha1 = "b34d7cef7b337321e97d22242c3c2b91f476748e" | |
uuid = "682c06a0-de6a-54ab-a142-c8b1cf79cde6" | |
version = "0.21.0" | |
[[JpegTurbo_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "a53414ab7217ae6cc34e41c453339e17a873d169" | |
uuid = "aacddb02-875f-59d6-b918-886e6ef4fbf8" | |
version = "2.0.1+1" | |
[[JuliaInterpreter]] | |
deps = ["CodeTracking", "InteractiveUtils", "Random", "UUIDs"] | |
git-tree-sha1 = "79e4496b79e8af45198f8c291f26d4514d6b06d6" | |
uuid = "aa1ae85d-cabe-5617-a682-6adf51b2e16a" | |
version = "0.7.24" | |
[[LZO_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "71119990371c93f027bee80547ee908ddfe7c5ca" | |
uuid = "dd4b983a-f0e5-5f8d-a1b7-129d4a5fb1ac" | |
version = "2.10.0+1" | |
[[LaTeXStrings]] | |
git-tree-sha1 = "de44b395389b84fd681394d4e8d39ef14e3a2ea8" | |
uuid = "b964fa9f-0449-5b57-a5c2-d3ea65f4040f" | |
version = "1.1.0" | |
[[LibGit2]] | |
uuid = "76f85450-5226-5b5a-8eaa-529ad045b433" | |
[[Libdl]] | |
uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb" | |
[[Libffi_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "68b165c609961207baa3174e03d6d56e7a37124c" | |
uuid = "e9f186c6-92d2-5b65-8a66-fee21dc1b490" | |
version = "3.2.1+1" | |
[[Libgcrypt_jll]] | |
deps = ["Libdl", "Libgpg_error_jll", "Pkg"] | |
git-tree-sha1 = "7efb7f5e75a0f7323cce366d3e44a2d225c5617a" | |
uuid = "d4300ac3-e22c-5743-9152-c294e39db1e4" | |
version = "1.8.5+1" | |
[[Libgpg_error_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "334284a62d6b8592099d28b78c76aefc266c03a2" | |
uuid = "7add5ba3-2f88-524e-9cd5-f83b8a55f7b8" | |
version = "1.36.0+1" | |
[[Libiconv_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "c9d4035d7481bcdff2babf5a55525a818ef8ed8f" | |
uuid = "94ce4f54-9a6c-5748-9c1c-f9c7231a4531" | |
version = "1.16.0+5" | |
[[Libmount_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "621a6d7d527fd8e4812ca1154567bfdb81a3c517" | |
uuid = "4b2f31a3-9ecc-558c-b454-b3730dcb73e9" | |
version = "2.34.0+1" | |
[[Libtiff_jll]] | |
deps = ["JpegTurbo_jll", "Libdl", "Pkg", "Zlib_jll", "Zstd_jll"] | |
git-tree-sha1 = "1fe8c3608dfe7bdec81d018de1cc66e959016e8c" | |
uuid = "89763e89-9b03-5906-acba-b20f662cd828" | |
version = "4.1.0+0" | |
[[Libuuid_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "7ae7eee3a9fe811b656347700c17fc9620ef4ecf" | |
uuid = "38a345b3-de98-5d2b-a5d3-14cd9215e700" | |
version = "2.34.0+4" | |
[[LightGraphs]] | |
deps = ["ArnoldiMethod", "DataStructures", "Distributed", "Inflate", "LinearAlgebra", "Random", "SharedArrays", "SimpleTraits", "SparseArrays", "Statistics"] | |
git-tree-sha1 = "6f85a35d2377cb2db1bc448ed0d6340d2bb1ea64" | |
uuid = "093fc24a-ae57-5d10-9952-331d41423f4d" | |
version = "1.3.3" | |
[[LightXML]] | |
deps = ["Libdl", "XML2_jll"] | |
git-tree-sha1 = "e129d9391168c677cd4800f5c0abb1ed8cb3794f" | |
uuid = "9c8b4983-aa76-5018-a973-4c85ecc9e179" | |
version = "0.9.0" | |
[[LinearAlgebra]] | |
deps = ["Libdl"] | |
uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e" | |
[[LittleCMS_jll]] | |
deps = ["JpegTurbo_jll", "Libdl", "Libtiff_jll", "Pkg"] | |
git-tree-sha1 = "e6ea89d915cdad8d264f7f9158c6664f879edcde" | |
uuid = "d3a379c0-f9a3-5b72-a4c0-6bf4d2e8af0f" | |
version = "2.9.0+0" | |
[[Logging]] | |
uuid = "56ddb016-857b-54e1-b83d-db4d58db5568" | |
[[LoweredCodeUtils]] | |
deps = ["JuliaInterpreter"] | |
git-tree-sha1 = "5bca4f43cb522596be4496d849de670090af3a55" | |
uuid = "6f1432cf-f94c-5a45-995e-cdbf5db27b0b" | |
version = "0.4.7" | |
[[MacroTools]] | |
deps = ["Markdown", "Random"] | |
git-tree-sha1 = "f7d2e3f654af75f01ec49be82c231c382214223a" | |
uuid = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09" | |
version = "0.5.5" | |
[[Markdown]] | |
deps = ["Base64"] | |
uuid = "d6f4376e-aef5-505a-96c1-9c027394607a" | |
[[Measures]] | |
git-tree-sha1 = "e498ddeee6f9fdb4551ce855a46f54dbd900245f" | |
uuid = "442fdcdd-2543-5da2-b0f3-8c86c306513e" | |
version = "0.3.1" | |
[[MetaGraphs]] | |
deps = ["JLD2", "LightGraphs", "Random"] | |
git-tree-sha1 = "8900d368fa44bd61c7e598d6a0f577e347f3cf67" | |
uuid = "626554b9-1ddb-594c-aa3c-2596fe9399a5" | |
version = "0.6.5" | |
[[Missings]] | |
deps = ["DataAPI"] | |
git-tree-sha1 = "de0a5ce9e5289f27df672ffabef4d1e5861247d5" | |
uuid = "e1d29d7a-bbdc-5cf2-9ac0-f12de2c33e28" | |
version = "0.4.3" | |
[[Mmap]] | |
uuid = "a63ad114-7e13-5084-954f-fe012c677804" | |
[[NaNMath]] | |
git-tree-sha1 = "c84c576296d0e2fbb3fc134d3e09086b3ea617cd" | |
uuid = "77ba4419-2d1f-58cd-9bb1-8ffee604a2e3" | |
version = "0.3.4" | |
[[NamedTupleTools]] | |
git-tree-sha1 = "2c0880a1e31f88e4c7fda14ebd5395518b7465c4" | |
uuid = "d9ec5142-1e00-5aa0-9d6a-321866360f50" | |
version = "0.13.6" | |
[[OpenJpeg_jll]] | |
deps = ["Libdl", "Libtiff_jll", "LittleCMS_jll", "Pkg", "libpng_jll"] | |
git-tree-sha1 = "e330ffff1c6a593fa44cc40c29900bee82026406" | |
uuid = "643b3616-a352-519d-856d-80112ee9badc" | |
version = "2.3.1+0" | |
[[OpenSpecFun_jll]] | |
deps = ["CompilerSupportLibraries_jll", "Libdl", "Pkg"] | |
git-tree-sha1 = "d51c416559217d974a1113522d5919235ae67a87" | |
uuid = "efe28fd5-8261-553b-a9e1-b2916fc3738e" | |
version = "0.5.3+3" | |
[[OrderedCollections]] | |
git-tree-sha1 = "293b70ac1780f9584c89268a6e2a560d938a7065" | |
uuid = "bac558e1-5e72-5ebc-8fee-abe8a469f55d" | |
version = "1.3.0" | |
[[PCRE_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "2c860a32ae9c421b52b654448bd31a31f437449a" | |
uuid = "2f80f16e-611a-54ab-bc61-aa92de5b98fc" | |
version = "8.42.0+2" | |
[[PDMats]] | |
deps = ["LinearAlgebra", "SparseArrays", "SuiteSparse", "Test"] | |
git-tree-sha1 = "b3405086eb6a974eba1958923d46bc0e1c2d2d63" | |
uuid = "90014a1f-27ba-587c-ab20-58faa44d9150" | |
version = "0.10.0" | |
[[POMDPGifs]] | |
deps = ["POMDPModelTools", "POMDPPolicies", "POMDPSimulators", "POMDPs", "Parameters", "ProgressMeter", "Random", "Reel"] | |
git-tree-sha1 = "1f55bfc754afff05be80b0894c31c45831bdc59b" | |
uuid = "7f35509c-0cb9-11e9-0708-2928828cdbb7" | |
version = "0.1.0" | |
[[POMDPLinter]] | |
deps = ["Logging"] | |
git-tree-sha1 = "cee5817d06f5e1a9054f3e1bbb50cbabae4cd5a5" | |
uuid = "f3bd98c0-eb40-45e2-9eb1-f2763262d755" | |
version = "0.1.1" | |
[[POMDPModelChecking]] | |
deps = ["Cxx", "DiscreteValueIteration", "Distributions", "LightGraphs", "LinearAlgebra", "POMDPModelTools", "POMDPPolicies", "POMDPs", "Parameters", "Random", "Spot"] | |
path = "../../dev/POMDPModelChecking" | |
uuid = "abefb91b-a28c-5ab9-9bd9-026e532d7b0e" | |
version = "0.0.0" | |
[[POMDPModelTools]] | |
deps = ["Distributions", "LinearAlgebra", "POMDPLinter", "POMDPs", "Random", "SparseArrays", "Statistics", "UnicodePlots"] | |
git-tree-sha1 = "bbf14065244749521cea01da0fd7a035742f67bb" | |
uuid = "08074719-1b2a-587c-a292-00f91cc44415" | |
version = "0.3.1" | |
[[POMDPModels]] | |
deps = ["BeliefUpdaters", "ColorSchemes", "Compose", "Distributions", "POMDPModelTools", "POMDPs", "Parameters", "Printf", "Random", "StaticArrays", "StatsBase"] | |
git-tree-sha1 = "76f61582f345d00ac17bd3f3c0e2ddbfad92dc00" | |
uuid = "355abbd5-f08e-5560-ac9e-8b5f2592a0ca" | |
version = "0.4.9" | |
[[POMDPPolicies]] | |
deps = ["BeliefUpdaters", "LinearAlgebra", "POMDPModelTools", "POMDPs", "Parameters", "Random", "SparseArrays", "StatsBase"] | |
git-tree-sha1 = "fe5891fb4f418654dbf4e9af483c524f50956e7f" | |
uuid = "182e52fb-cfd0-5e46-8c26-fd0667c990f4" | |
version = "0.3.3" | |
[[POMDPSimulators]] | |
deps = ["BeliefUpdaters", "DataFrames", "Distributed", "NamedTupleTools", "POMDPLinter", "POMDPModelTools", "POMDPPolicies", "POMDPs", "ProgressMeter", "Random"] | |
git-tree-sha1 = "cf33e136c88a2ca03ce02db56f49ed47cd336a47" | |
uuid = "e0d0a172-29c6-5d4e-96d0-f262df5d01fd" | |
version = "0.3.7" | |
[[POMDPXFiles]] | |
deps = ["LightXML", "POMDPModelTools", "POMDPs"] | |
git-tree-sha1 = "c74b1a8f26c3bee78f9e424ce46b558018ebbbe3" | |
uuid = "c6f6ee83-58c6-5336-a19f-2c76817e1af6" | |
version = "0.2.1" | |
[[POMDPs]] | |
deps = ["Distributions", "LightGraphs", "NamedTupleTools", "POMDPLinter", "Pkg", "Random", "Statistics"] | |
git-tree-sha1 = "ddb9129c919b322f8ddfa24b981d092beebc737a" | |
uuid = "a93abf59-7444-517b-a68a-c42f96afdd7d" | |
version = "0.9.0" | |
[[Pango_jll]] | |
deps = ["Cairo_jll", "Fontconfig_jll", "FreeType2_jll", "FriBidi_jll", "Glib_jll", "HarfBuzz_jll", "Libdl", "Pkg"] | |
git-tree-sha1 = "cd19789f20bde5d45e96a7e937db9a6a024412e6" | |
uuid = "36c8627f-9965-5494-a995-c6b170f724f3" | |
version = "1.42.4+8" | |
[[Parameters]] | |
deps = ["OrderedCollections", "UnPack"] | |
git-tree-sha1 = "38b2e970043613c187bd56a995fe2e551821eb4a" | |
uuid = "d96e819e-fc66-5662-9728-84c9c7592b0a" | |
version = "0.12.1" | |
[[Parsers]] | |
deps = ["Dates", "Test"] | |
git-tree-sha1 = "8077624b3c450b15c087944363606a6ba12f925e" | |
uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0" | |
version = "1.0.10" | |
[[Pixman_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "ae66367153a89ecb2a5c7acc2df4ba082b729b6a" | |
uuid = "30392449-352a-5448-841d-b1acce4e97dc" | |
version = "0.38.4+2" | |
[[Pkg]] | |
deps = ["Dates", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "UUIDs"] | |
uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f" | |
[[PooledArrays]] | |
deps = ["DataAPI"] | |
git-tree-sha1 = "b1333d4eced1826e15adbdf01a4ecaccca9d353c" | |
uuid = "2dfb63ee-cc39-5dd5-95bd-886bf059d720" | |
version = "0.5.3" | |
[[Poppler_jll]] | |
deps = ["Cairo_jll", "Fontconfig_jll", "JpegTurbo_jll", "Libdl", "Libtiff_jll", "OpenJpeg_jll", "Pkg", "libpng_jll"] | |
git-tree-sha1 = "ef02d59bf6c0b6d00c5707ab73c5ec571a14051e" | |
uuid = "9c32591e-4766-534b-9725-b71a8799265b" | |
version = "0.87.0+0" | |
[[Printf]] | |
deps = ["Unicode"] | |
uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7" | |
[[ProgressMeter]] | |
deps = ["Distributed", "Printf"] | |
git-tree-sha1 = "2de4cddc0ceeddafb6b143b5b6cd9c659b64507c" | |
uuid = "92933f4c-e287-5a05-a399-4b506db050ca" | |
version = "1.3.2" | |
[[QuadGK]] | |
deps = ["DataStructures", "LinearAlgebra"] | |
git-tree-sha1 = "0ab8a09d4478ebeb99a706ecbf8634a65077ccdc" | |
uuid = "1fd47b50-473d-5c70-9696-f719f8f3bcdc" | |
version = "2.4.0" | |
[[REPL]] | |
deps = ["InteractiveUtils", "Markdown", "Sockets"] | |
uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb" | |
[[Random]] | |
deps = ["Serialization"] | |
uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c" | |
[[Reel]] | |
deps = ["FFMPEG"] | |
git-tree-sha1 = "dab9a90d3f01f94d4ad91e9662bf76ca46dc6b38" | |
uuid = "71555da5-176e-5e73-a222-aebc6c6e4f2f" | |
version = "1.3.0" | |
[[Reexport]] | |
deps = ["Pkg"] | |
git-tree-sha1 = "7b1d07f411bc8ddb7977ec7f377b97b158514fe0" | |
uuid = "189a3867-3050-52da-a836-e630ba90ab69" | |
version = "0.2.0" | |
[[Requires]] | |
deps = ["UUIDs"] | |
git-tree-sha1 = "d37400976e98018ee840e0ca4f9d20baa231dc6b" | |
uuid = "ae029012-a4dd-5104-9daa-d747884805df" | |
version = "1.0.1" | |
[[Revise]] | |
deps = ["CodeTracking", "Distributed", "FileWatching", "JuliaInterpreter", "LibGit2", "LoweredCodeUtils", "OrderedCollections", "Pkg", "REPL", "UUIDs", "Unicode"] | |
git-tree-sha1 = "0992d4643e27b2deb9f2e4ec7a56b7033813a027" | |
uuid = "295af30f-e4ad-537b-8983-00126c2a3abe" | |
version = "2.7.3" | |
[[Rmath]] | |
deps = ["Random", "Rmath_jll"] | |
git-tree-sha1 = "86c5647b565873641538d8f812c04e4c9dbeb370" | |
uuid = "79098fc4-a85e-5d69-aa6a-4863f24498fa" | |
version = "0.6.1" | |
[[Rmath_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "d76185aa1f421306dec73c057aa384bad74188f0" | |
uuid = "f50d1b31-88e8-58de-be2c-1cc44531875f" | |
version = "0.2.2+1" | |
[[RockSample]] | |
deps = ["Compose", "LinearAlgebra", "POMDPModelTools", "POMDPs", "Parameters", "Random", "StaticArrays"] | |
git-tree-sha1 = "4164fbe2260ee7921a54ece6ec238789346496ec" | |
uuid = "de008ff0-c357-11e8-3329-7fe746fe836e" | |
version = "0.1.2" | |
[[SARSOP]] | |
deps = ["POMDPLinter", "POMDPModelTools", "POMDPPolicies", "POMDPXFiles", "POMDPs", "Parameters", "SARSOP_jll"] | |
git-tree-sha1 = "16710327107840d1e1dc1c2faff06ad3ee179d3e" | |
uuid = "cef570c6-3a94-5604-96b7-1a5e143043f2" | |
version = "0.5.3" | |
[[SARSOP_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "f67a49a301651bd3a53c335977aa15bb8ab4637b" | |
uuid = "e478675d-f996-546e-baa1-da59d9de2062" | |
version = "0.96.0+0" | |
[[SHA]] | |
uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce" | |
[[Serialization]] | |
uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b" | |
[[SharedArrays]] | |
deps = ["Distributed", "Mmap", "Random", "Serialization"] | |
uuid = "1a1011a3-84de-559e-8e89-a11a2f7dc383" | |
[[SimpleTraits]] | |
deps = ["InteractiveUtils", "MacroTools"] | |
git-tree-sha1 = "2ee666b24ab8be6a922f9d6c11a86e1a703a7dda" | |
uuid = "699a6c99-e7fa-54fc-8d76-47d257e15c1d" | |
version = "0.9.2" | |
[[Sockets]] | |
uuid = "6462fe0b-24de-5631-8697-dd941f90decc" | |
[[SortingAlgorithms]] | |
deps = ["DataStructures", "Random", "Test"] | |
git-tree-sha1 = "03f5898c9959f8115e30bc7226ada7d0df554ddd" | |
uuid = "a2af1166-a08f-5f64-846c-94a0d3cef48c" | |
version = "0.3.1" | |
[[SparseArrays]] | |
deps = ["LinearAlgebra", "Random"] | |
uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf" | |
[[SpecialFunctions]] | |
deps = ["OpenSpecFun_jll"] | |
git-tree-sha1 = "d8d8b8a9f4119829410ecd706da4cc8594a1e020" | |
uuid = "276daf66-3868-5448-9aa4-cd146d93841b" | |
version = "0.10.3" | |
[[Spot]] | |
deps = ["BinaryProvider", "Cxx", "LaTeXStrings", "Libdl", "LightGraphs", "MetaGraphs", "Parameters", "Pkg", "TikzPictures"] | |
git-tree-sha1 = "3facbe2f482ce7c562784b4d1bfe0e56217288a3" | |
uuid = "f11abc24-ce50-11e8-2475-af6658d13f2b" | |
version = "0.1.0" | |
[[StaticArrays]] | |
deps = ["LinearAlgebra", "Random", "Statistics"] | |
git-tree-sha1 = "016d1e1a00fabc556473b07161da3d39726ded35" | |
uuid = "90137ffa-7385-5640-81b9-e52037218182" | |
version = "0.12.4" | |
[[Statistics]] | |
deps = ["LinearAlgebra", "SparseArrays"] | |
uuid = "10745b16-79ce-11e8-11f9-7d13ad32a3b2" | |
[[StatsBase]] | |
deps = ["DataAPI", "DataStructures", "LinearAlgebra", "Missings", "Printf", "Random", "SortingAlgorithms", "SparseArrays", "Statistics"] | |
git-tree-sha1 = "19bfcb46245f69ff4013b3df3b977a289852c3a1" | |
uuid = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" | |
version = "0.32.2" | |
[[StatsFuns]] | |
deps = ["Rmath", "SpecialFunctions"] | |
git-tree-sha1 = "04a5a8e6ab87966b43f247920eab053fd5fdc925" | |
uuid = "4c63d2b9-4356-54db-8cca-17b64c39e42c" | |
version = "0.9.5" | |
[[SuiteSparse]] | |
deps = ["Libdl", "LinearAlgebra", "Serialization", "SparseArrays"] | |
uuid = "4607b0f0-06f3-5cda-b6b1-a6196a1729e9" | |
[[TableTraits]] | |
deps = ["IteratorInterfaceExtensions"] | |
git-tree-sha1 = "b1ad568ba658d8cbb3b892ed5380a6f3e781a81e" | |
uuid = "3783bdb8-4a98-5b6b-af9a-565f29a5fe9c" | |
version = "1.0.0" | |
[[Tables]] | |
deps = ["DataAPI", "DataValueInterfaces", "IteratorInterfaceExtensions", "LinearAlgebra", "TableTraits", "Test"] | |
git-tree-sha1 = "b7f762e9820b7fab47544c36f26f54ac59cf8abf" | |
uuid = "bd369af6-aec1-5ad0-b16a-f7cc5008161c" | |
version = "1.0.5" | |
[[Test]] | |
deps = ["Distributed", "InteractiveUtils", "Logging", "Random"] | |
uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40" | |
[[TikzPictures]] | |
deps = ["LaTeXStrings", "Poppler_jll"] | |
git-tree-sha1 = "40d1559df48a5316eb66ad29ac734db6829e433d" | |
uuid = "37f6aa50-8035-52d0-81c2-5a1d08754b2d" | |
version = "3.2.0" | |
[[TranscodingStreams]] | |
deps = ["Random", "Test"] | |
git-tree-sha1 = "7c53c35547de1c5b9d46a4797cf6d8253807108c" | |
uuid = "3bb67fe8-82b1-5028-8e26-92a6c54297fa" | |
version = "0.9.5" | |
[[UUIDs]] | |
deps = ["Random", "SHA"] | |
uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4" | |
[[UnPack]] | |
git-tree-sha1 = "d4bfa022cd30df012700cf380af2141961bb3bfb" | |
uuid = "3a884ed6-31ef-47d7-9d2a-63182c4928ed" | |
version = "1.0.1" | |
[[Unicode]] | |
uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5" | |
[[UnicodePlots]] | |
deps = ["Crayons", "Dates", "SparseArrays", "StatsBase"] | |
git-tree-sha1 = "af0c29913f108f649999e74098814c7ef0f644de" | |
uuid = "b8865327-cd53-5732-bb35-84acbb429228" | |
version = "1.2.0" | |
[[XML2_jll]] | |
deps = ["Libdl", "Libiconv_jll", "Pkg", "Zlib_jll"] | |
git-tree-sha1 = "432d91f45e950f2f2bda5c0f4e2b938c14493af9" | |
uuid = "02c8fc9c-b97f-50b9-bbe4-9be30ff0a78a" | |
version = "2.9.10+1" | |
[[XSLT_jll]] | |
deps = ["Libdl", "Libgcrypt_jll", "Pkg", "XML2_jll"] | |
git-tree-sha1 = "c287bbc08773474ab1d12849eb46b961a325e149" | |
uuid = "aed1982a-8fda-507f-9586-7b0439959a61" | |
version = "1.1.33+2" | |
[[Xorg_libX11_jll]] | |
deps = ["Libdl", "Pkg", "Xorg_libxcb_jll", "Xorg_xtrans_jll"] | |
git-tree-sha1 = "bbfb646a5a86dc636041c8ee945799b69d37fdba" | |
uuid = "4f6342f7-b3d2-589e-9d20-edeb45f2b2bc" | |
version = "1.6.9+2" | |
[[Xorg_libXau_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "711f2bbdbb0e90b90a71c5ccf835137e2def539a" | |
uuid = "0c0b7dd1-d40b-584c-a123-a41640f87eec" | |
version = "1.0.9+2" | |
[[Xorg_libXdmcp_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "1ffd7bc9c9d8bba6652516f3402ee1ef5f4cac70" | |
uuid = "a3789734-cfe1-5b06-b2d0-1dd0d9d62d05" | |
version = "1.1.3+2" | |
[[Xorg_libXext_jll]] | |
deps = ["Libdl", "Pkg", "Xorg_libX11_jll"] | |
git-tree-sha1 = "079acccb5437761d93c483f2edb5fc3ed21ea7db" | |
uuid = "1082639a-0dae-5f34-9b06-72781eeb8cb3" | |
version = "1.3.4+2" | |
[[Xorg_libXrender_jll]] | |
deps = ["Libdl", "Pkg", "Xorg_libX11_jll"] | |
git-tree-sha1 = "d5492a36d33359cf93ad573ea5e235cd71728649" | |
uuid = "ea2f1a96-1ddc-540d-b46f-429655e07cfa" | |
version = "0.9.10+2" | |
[[Xorg_libpthread_stubs_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "ec1e2973e4e624069be95f806dbd7e225fee26c6" | |
uuid = "14d82f49-176c-5ed1-bb49-ad3f5cbd8c74" | |
version = "0.1.0+1" | |
[[Xorg_libxcb_jll]] | |
deps = ["Libdl", "Pkg", "XSLT_jll", "Xorg_libXau_jll", "Xorg_libXdmcp_jll", "Xorg_libpthread_stubs_jll"] | |
git-tree-sha1 = "c1efb50fb6a8c40c45451611fbf93feabe5f9611" | |
uuid = "c7cfdc94-dc32-55de-ac96-5a1b8d977c5b" | |
version = "1.13.0+2" | |
[[Xorg_xtrans_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "b6e7d70f5fc9e3fde505539194c8caaab3c40ebf" | |
uuid = "c5fb5394-a638-5e4d-96e5-b29de1b5cf10" | |
version = "1.4.0+1" | |
[[Zlib_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "d5bba6485811931e4b8958e2d7ca3738273ac468" | |
uuid = "83775a58-1f1d-513f-b197-d71354ab007a" | |
version = "1.2.11+15" | |
[[Zstd_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "b25b0fb10176c42e9a5a20e1f40d570ac0288d4e" | |
uuid = "3161d3a3-bdf6-5164-811a-617609db77b4" | |
version = "1.4.5+0" | |
[[libpng_jll]] | |
deps = ["Libdl", "Pkg", "Zlib_jll"] | |
git-tree-sha1 = "594cb058723c13941cf463fd09e5859499594f50" | |
uuid = "b53b4c65-9356-5827-b1ea-8c7a1a84506f" | |
version = "1.6.37+3" |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment