Project.toml

name = "MetaQNL"
uuid = "3cf0c2d0-60f4-44e0-ad1c-f938ae5d47cf"
authors = ["Kaiyu Yang <kaiyuy@cs.princeton.edu>"]
version = "0.1.0"

[deps]
ArgParse = "c7e460c6-2fb9-53a9-8c5b-16f535851c63"
BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
Bijections = "e2ed5e7c-b2de-5872-ae92-c73ca462fb04"
Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"
Coverage = "a2441757-f6aa-5fb2-8edb-039e3f45d037"
DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
Downloads = "f43a241f-c20a-4ad4-852c-f6b1247861c6"
IJulia = "7073ff75-c697-5162-941a-fcdaad2a7d2a"
JSON3 = "0f8b85d8-7281-11e9-16c2-39a750bddbf1"
JuliaFormatter = "98e50ef6-434e-11e9-1051-2b60c6c9e899"
Julog = "5d8bcb5e-2b2c-4a96-a2b1-d40b3d3c344f"
LibGit2 = "76f85450-5226-5b5a-8eaa-529ad045b433"
LightGraphs = "093fc24a-ae57-5d10-9952-331d41423f4d"
ParserCombinator = "fae87a5f-d1ad-5cf0-8f61-c941e1580b46"
Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
ProgressMeter = "92933f4c-e287-5a05-a399-4b506db050ca"
Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
Revise = "295af30f-e4ad-537b-8983-00126c2a3abe"
SHA = "ea8e919c-243c-51af-8825-aaa63cd721ce"
Serialization = "9e88b42a-f829-5b0c-bbe9-9e923198166b"
Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
Tar = "a4e569a6-e804-4fa4-b0f3-eef7a1d5b13e"
Z3 = "06b161dc-0161-11ea-0f74-41f836f4024b"
ZipFile = "a5390f91-8eb1-5f08-bee0-b1d1ffed6cea"

[extras]
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

[targets]
test = ["Test"]