Add python and inclexcl to readme
This commit is contained in:
parent
fffdae7ca6
commit
8990123435
16
README.md
16
README.md
|
@ -97,7 +97,7 @@ Using styling files from [oysteikt/texmf](https://gitlab.stud.idi.ntnu.no/oystei
|
||||||
|
|
||||||
- [ ] Finished
|
- [ ] Finished
|
||||||
|
|
||||||
#### Chapter 7. Combinatorics
|
#### Chapter 6. Combinatorics
|
||||||
|
|
||||||
![Permutation/Combination Calculator](.gitlab/graphics/chrome-extension/permscombs.png)
|
![Permutation/Combination Calculator](.gitlab/graphics/chrome-extension/permscombs.png)
|
||||||
|
|
||||||
|
@ -147,6 +147,12 @@ See examples of what the engine for the exam template can do here: [exam_templat
|
||||||
|
|
||||||
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**
|
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 6. Combinatorics
|
||||||
|
|
||||||
|
**Capabilities:**
|
||||||
|
|
||||||
|
- [X] Make an inclusion exclusion expression from list of conditions
|
||||||
|
|
||||||
#### Chapter 7. Graph theory
|
#### Chapter 7. Graph theory
|
||||||
|
|
||||||
**Capabilities:**
|
**Capabilities:**
|
||||||
|
@ -170,4 +176,10 @@ See examples of what the engine for the exam template can do here: [exam_templat
|
||||||
|
|
||||||
- [X] Draw a finite state machine
|
- [X] Draw a finite state machine
|
||||||
- [ ] Output a finite state machine table
|
- [ ] Output a finite state machine table
|
||||||
- [ ] Calculate input based on a finite state machine
|
- [ ] Calculate input based on a finite state machine
|
||||||
|
|
||||||
|
#### Python
|
||||||
|
|
||||||
|
**Capabilities:**
|
||||||
|
|
||||||
|
- [X] Include a raw python program, and capture its output into a listing
|
Loading…
Reference in New Issue