diff --git a/Project.toml b/Project.toml index 87b7c08..83d389a 100644 --- a/Project.toml +++ b/Project.toml @@ -4,13 +4,13 @@ authors = ["Shashi Gowda "] version = "1.1.0" [deps] -Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7" SymbolicUtils = "d1185830-fcd6-423d-90d6-eec64667417b" +Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7" Z3 = "06b161dc-0161-11ea-0f74-41f836f4024b" [compat] +SymbolicUtils = "3.32, 4" Symbolics = "6" -SymbolicUtils = "3.32" Z3 = "1.0" julia = "1"