Project.toml

name = "SNNT"
uuid = "7b70dde2-2dce-46fe-8bfa-c0ba9c54c2e7"
authors = ["Samuel Teuber <samuel@samweb.org>"]
version = "0.1.0"

[deps]
ArgParse = "c7e460c6-2fb9-53a9-8c5b-16f535851c63"
Conda = "8f4d0f93-b110-5947-807f-2305c1781a2d"
GLPK = "60bf3e95-4087-53dc-ae20-288a0d20c6a6"
Glob = "c27321d9-0574-5035-807b-f59d2c89b15c"
IterTools = "c8e1da08-722c-5040-9ed9-7db0dc04731e"
JLD = "4138dd39-2aa7-5051-a626-17a0bb65d9c8"
JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
MLStyle = "d8e11817-5142-5d16-987a-aa16d5891078"
Metatheory = "e9d8d322-4543-424a-9be4-0cc815abe26c"
OVERT = "1b46728c-11fc-11ef-2c8c-f7c73a33b682"
PackageCompiler = "9b87118b-4619-50d2-8e1e-99f35a4d4d9d"
PicoSAT = "ff2beb65-d7cd-5ff1-a187-74671133a339"
Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
PyCall = "438e738f-606a-5dbb-bf0a-cddfbfd45ab0"
SymbolicUtils = "d1185830-fcd6-423d-90d6-eec64667417b"
TermInterface = "8ea1fca8-c5ef-4a55-8b96-4e9afe9c9a3c"
TimerOutputs = "a759f4b9-e2f1-59dc-863e-4aeb61b1ea8f"
Tokenize = "0796e94c-ce3b-5d07-9a54-7f471281c624"
Z3 = "06b161dc-0161-11ea-0f74-41f836f4024b"