From c76624186fa054deb55db17b97d56c9b49ac52cb Mon Sep 17 00:00:00 2001
From: James Oswald <jamesoswald111@gmail.com>
Date: Wed, 11 Oct 2023 04:36:15 -0400
Subject: [PATCH 1/2] Added some basic test files in tutorial.

---
 problems/tutorial/DCEC.clj               | 29 +++++++++++++++++++
 problems/tutorial/PropositionalLogic.clj | 37 ++++++++++++++++++++++++
 2 files changed, 66 insertions(+)
 create mode 100644 problems/tutorial/DCEC.clj
 create mode 100644 problems/tutorial/PropositionalLogic.clj

diff --git a/problems/tutorial/DCEC.clj b/problems/tutorial/DCEC.clj
new file mode 100644
index 0000000..1cea247
--- /dev/null
+++ b/problems/tutorial/DCEC.clj
@@ -0,0 +1,29 @@
+{:name        "Belief follows from knowledge"
+ :description ""
+ :assumptions {1 (Knows! a P)}
+ :goal        (Believes! a P)}
+
+ {:name        "Conjunction under Belief"
+ :description ""
+ :assumptions {1 (Believes! a P)
+               2 (Believes! a Q)}
+ :goal        (Believes! a (and P Q))}
+
+ {:name       "MP under Belief"
+ :description ""
+ :assumptions {1 (Believes! a1 t0 P)
+               2 (Believes! a1 t0 (if P Q))}
+ :goal        (Believes! a1 t0 Q)}
+
+{:name        "Common Knowledge"
+ :description ""
+ :assumptions {1 (Common! t0 P)}
+ :goal        (and (Knows! a1 t1 P) (Knows! a2 t1 P))}
+
+
+ {:name       "Bird Theorem"
+ :description "Belief Conjunction and Truth from Knowledge"
+ :assumptions {1 (Believes! a P)
+               2 (Believes! a Q)
+               3 (if (Believes! a (and P Q)) (Knows! a R))}
+ :goal        R}
\ No newline at end of file
diff --git a/problems/tutorial/PropositionalLogic.clj b/problems/tutorial/PropositionalLogic.clj
new file mode 100644
index 0000000..fde0e34
--- /dev/null
+++ b/problems/tutorial/PropositionalLogic.clj
@@ -0,0 +1,37 @@
+
+;;This file contains easy PC examples, including some PC infrence rules
+
+{:name        "And Intro"
+ :description ""
+ :assumptions {1 P 2 Q}
+ :goal        (and P Q)}
+
+{:name       "And Elim Left"
+ :description ""
+ :assumptions {1 (and P Q)}
+ :goal        P}
+
+{:name      "And Elim Right"
+ :description ""
+ :assumptions {1 (and P Q)}
+ :goal        Q}
+
+{:name        "Or Intro Right"
+ :description ""
+ :assumptions {1 P}
+ :goal        (or P Q)}
+
+{:name        "Or Intro Left"
+ :description ""
+ :assumptions {1 P}
+ :goal        (or Q P)}
+
+{:name       "Or Elim"
+ :description ""
+ :assumptions {1 (or P Q) 2 (if P R) 3 (if Q R)}
+ :goal        R}
+
+{:name       "Green Cheese Moon"
+ :description "(if P (if Q P) is a tauto, its negation is a contradiction we can derive G from"
+ :assumptions {1 (not (if P (if Q P)))}
+ :goal        G}
\ No newline at end of file

From c112c4033616117da867b3053bb3e0327fe9e57d Mon Sep 17 00:00:00 2001
From: James Oswald <jamesoswald111@gmail.com>
Date: Wed, 11 Oct 2023 04:38:07 -0400
Subject: [PATCH 2/2] removed old setting file

---
 settings.xml | 33 ---------------------------------
 1 file changed, 33 deletions(-)
 delete mode 100644 settings.xml

diff --git a/settings.xml b/settings.xml
deleted file mode 100644
index 06b2781..0000000
--- a/settings.xml
+++ /dev/null
@@ -1,33 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" ?>
-<settings xsi:schemaLocation='http://maven.apache.org/SETTINGS/1.0.0 http://maven.apache.org/xsd/settings-1.0.0.xsd'
-          xmlns='http://maven.apache.org/SETTINGS/1.0.0' xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance'>
-
-    <profiles>
-        <profile>
-            <repositories>
-                <repository>
-                    <snapshots>
-                        <enabled>false</enabled>
-                    </snapshots>
-                    <id>bintray-naveensundarg-prover</id>
-                    <name>bintray</name>
-                    <url>https://dl.bintray.com/naveensundarg/prover</url>
-                </repository>
-            </repositories>
-            <pluginRepositories>
-                <pluginRepository>
-                    <snapshots>
-                        <enabled>false</enabled>
-                    </snapshots>
-                    <id>bintray-naveensundarg-prover</id>
-                    <name>bintray-plugins</name>
-                    <url>https://dl.bintray.com/naveensundarg/prover</url>
-                </pluginRepository>
-            </pluginRepositories>
-            <id>bintray</id>
-        </profile>
-    </profiles>
-    <activeProfiles>
-        <activeProfile>bintray</activeProfile>
-    </activeProfiles>
-</settings>
\ No newline at end of file