From 5f5ece89dbe6dc1bf2450c48bb74c3fcb85967c6 Mon Sep 17 00:00:00 2001
From: giopaglia <24519853+giopaglia@users.noreply.github.com>
Date: Thu, 30 Nov 2023 17:31:31 +1100
Subject: [PATCH] Update and bump

---
 Project.toml      | 15 ++++++++++-----
 docs/Project.toml |  3 +++
 pluto-demo.jl     |  1 +
 3 files changed, 14 insertions(+), 5 deletions(-)

diff --git a/Project.toml b/Project.toml
index dec3983..bedc92a 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,9 +1,10 @@
 name = "Sole"
 uuid = "7b3b3b3f-8b15-4a80-a798-b383498bc2cf"
 authors = ["Federico Manzella", "Giovanni Pagliarini", "Eduard I. Stan", "Guido Sciavicco"]
-version = "0.2.0"
+version = "0.3.0"
 
 [deps]
+Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
 SoleBase = "4475fa32-7023-44a0-aa70-4813b230e492"
 SoleData = "123f1ae1-6307-4526-ab5b-aab3a92a2b8c"
@@ -11,15 +12,19 @@ SoleLogics = "b002da8f-3cb3-4d91-bbe3-2953433912b5"
 SoleModels = "4249d9c7-3290-4ddd-961c-e1d3ec2467f8"
 
 [compat]
-julia = "1"
 SoleBase = "0.11"
-SoleData = "0.11"
+SoleData = "0.12"
 SoleLogics = "0.6"
-SoleModels = "0.4"
+SoleModels = "0.5"
 Reexport = "1.2"
+Random = "1"
+julia = "1"
 
 [extras]
+InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
+Markdown = "d6f4376e-aef5-505a-96c1-9c027394607a"
+PlutoUI = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [targets]
-test = ["Test"]
+test = ["Test", "Markdown", "InteractiveUtils", "PlutoUI"]
diff --git a/docs/Project.toml b/docs/Project.toml
index a3bfff4..a3c7f4c 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -1,3 +1,6 @@
 [deps]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 Sole = "7b3b3b3f-8b15-4a80-a798-b383498bc2cf"
+
+[compat]
+Documenter = "1"
diff --git a/pluto-demo.jl b/pluto-demo.jl
index 4d634f6..f12f36f 100644
--- a/pluto-demo.jl
+++ b/pluto-demo.jl
@@ -6,6 +6,7 @@ using InteractiveUtils
 
 # ╔═╡ 5bfe5ff9-0238-49a4-8e51-cb16e3722d38
 begin
+    using Pkg
 	Pkg.update()
 	using SoleLogics
 end