From 90bd935b16963340040f6835a95ecd516929110e Mon Sep 17 00:00:00 2001
From: h7x4 <h7x4abk3g@protonmail.com>
Date: Mon, 17 May 2021 18:56:40 +0200
Subject: [PATCH] Update readme

---
 README.md | 112 ++++++++++++++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 109 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index fdb7d3e..17fb1ab 100644
--- a/README.md
+++ b/README.md
@@ -3,6 +3,7 @@
 
 Using styling files from [oysteikt/texmf](https://gitlab.stud.idi.ntnu.no/oysteikt/texmf)
 
+## Exercises
 
 | Num | Exercise PDF              | Answer PDF       | Solutions PDF             |
 | --- | ------------------------- | ---------------- | ------------------------- |
@@ -19,8 +20,6 @@ Using styling files from [oysteikt/texmf](https://gitlab.stud.idi.ntnu.no/oystei
 | 11  | [wiki.math.ntnu.no][ex11] | [ex11.pdf][as11] | [wiki.math.ntnu.no][so11] |
 | 12  | [wiki.math.ntnu.no][ex12] | [ex12.pdf][as12] | [wiki.math.ntnu.no][so12] |
 
-See examples of what the engine for the exam template can do here: [exam_template_graphics.pdf](http://oysteikt.pages.stud.idi.ntnu.no/v21-ma0301/exam_template_graphics.pdf)
-
 [ex1]: https://wiki.math.ntnu.no/_media/ma0301/2021v/set-1-2021-new.pdf "Exercise 1 Questions"
 [ex2]: https://wiki.math.ntnu.no/_media/ma0301/2021v/set-2-2021-new.pdf "Exercise 2 Questions"
 [ex3]: https://wiki.math.ntnu.no/_media/ma0301/2021v/set-3-2021.pdf "Exercise 3 Questions"
@@ -58,4 +57,111 @@ See examples of what the engine for the exam template can do here: [exam_templat
 [so9]: https://wiki.math.ntnu.no/_media/ma0301/2021v/set-9-2021-solutions.pdf "Exercise 9 Solutions"
 [so10]: https://wiki.math.ntnu.no/_media/ma0301/2021v/set-10-2021-solutions.pdf "Exercise 10 Solutions"
 [so11]: https://wiki.math.ntnu.no/_media/ma0301/2021v/set-11-2021-solutions.pdf "Exercise 11 Solutions"
-[so12]: https://wiki.math.ntnu.no/_media/ma0301/2021v/set-12-2021-solutions.pdf "Exercise 12 Solutions"
\ No newline at end of file
+[so12]: https://wiki.math.ntnu.no/_media/ma0301/2021v/set-12-2021-solutions.pdf "Exercise 12 Solutions"
+
+---
+
+## Automation
+
+---
+
+### VSCode snippets
+
+[See snippets for LaTeX](https://gitlab.stud.idi.ntnu.no/oysteikt/v21-ma0301/-/blob/master/exam_template/.vscode/latex.code-snippets)
+
+[See snippets for Makefile](https://gitlab.stud.idi.ntnu.no/oysteikt/v21-ma0301/-/blob/master/exam_template/.vscode/makefile.code-snippets)
+
+---
+
+### Chrome plugin
+
+#### Chapter 1. 2. 3. Boolean calculator
+
+  Automates calculating boolean expression step by step by running the input through https://boolean-algebra.com/
+
+  Outputs the resulting set of expressions to either propositional logic, boolean algebra or set operations.
+
+  Converts output to LaTeX
+
+ - [X] Finished
+
+#### Chapter 4. Induction
+
+  Automates proof by induction by running the input through https://wolframalpha.com/
+
+  Converts output to LaTeX
+
+ - [ ] Finished
+
+#### Chapter 7. Combinatorics
+
+  Permutations / Combinations Calculator
+
+  Computes permutations and combinations
+
+  Outputs to LaTeX
+
+ - [X] Finished
+
+---
+
+### Python framework
+
+See examples of what the engine for the exam template can do here: [exam_template_graphics.pdf](http://oysteikt.pages.stud.idi.ntnu.no/v21-ma0301/exam_template_graphics.pdf)
+
+#### Chapter 1. Truthtables (propositional logic)
+
+**Capabilities:**
+
+ - [X] Calculate and render truthtable for propositional logic expressions
+
+#### Chapter 3. Sets
+
+**Capabilities:**
+
+ - [ ] Calculate and output powersets
+
+#### Chapter 5. Relations
+
+**Capabilities:**
+
+  Proofs:
+
+ - [X] Check whether relation is reflexive
+ - [X] Check whether relation is symmetric
+ - [X] Check whether relation is antisymmetric
+ - [X] Check whether relation is transitive
+ - [X] Check whether relation is an equivalence relation
+ - [X] Check whether relation is a partial order
+
+  Graphs:
+
+ - [X] Draw a hasse diagram from a partial order
+ - [X] Draw an graph from any relation
+
+ Note: Checking whether a relation has a property in this context means that it goes over every pair of related elements and looks for contradictions. **This program can not prove relation properties algebraically**
+
+#### Chapter 7. Graph theory
+
+**Capabilities:**
+
+  Inputs:
+
+ - [X] Input a graph from a matrix
+ - [X] Input a graph from a node/edge list
+ - [X] Input a complete graph from a node number
+
+  Outputs:
+
+ - [X] Output a graph to a matrix
+ - [X] Draw an undirected graph
+ - [X] Draw a directed graph
+ - [ ] Find a minimal spanning tree with Kruskals algorithm
+
+#### Chapter 8. Finite state automata
+
+**Capabilities:**
+
+ - [X] Draw a finite state machine
+ - [ ] Output a finite state machine table
+ - [ ] Calculate input based on a finite state machine
\ No newline at end of file