Project.toml

name = "POMDPModelChecking"
uuid = "abefb91b-a28c-5ab9-9bd9-026e532d7b0e"
repo = "https://github.com/JuliaPOMDP/POMDPModelChecking.jl"
version = "0.1.3"

[deps]
DiscreteValueIteration = "4b033969-44f6-5439-a48b-c11fa3648068"
Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"
LightGraphs = "093fc24a-ae57-5d10-9952-331d41423f4d"
LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
POMDPTools = "7588e00f-9cae-40de-98dc-e0c70c48cdd7"
POMDPs = "a93abf59-7444-517b-a68a-c42f96afdd7d"
Parameters = "d96e819e-fc66-5662-9728-84c9c7592b0a"
Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
Spot = "f11abc24-ce50-11e8-2475-af6658d13f2b"

[compat]
DiscreteValueIteration = "0.4"
Distributions = "0.17, 0.18, 0.19, 0.20, 0.21, 0.22, 0.23, 0.24, 0.25"
LightGraphs = "1"
POMDPTools = "0.1, 1"
POMDPs = "0.9, 1"
Parameters = "0.12"
Spot = "0.2"
julia = "1.3"

[extras]
ColorSchemes = "35d6a980-a343-548e-a6ea-1d62b119f2f4"
Compose = "a81c6b42-2e10-5240-aca2-a61377ecd94b"
POMDPModels = "355abbd5-f08e-5560-ac9e-8b5f2592a0ca"
QMDP = "3aa3ecc9-5a5d-57c8-8188-3e47bd8068d2"
StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

[targets]
test = ["ColorSchemes", "Compose", "POMDPModels", "QMDP", "StaticArrays", "Test"]