@ -9,23 +9,16 @@ This repository will be used for submissions of *Logic and Computability* practi
This year you will have the chance to solve up to four different programming exercises to achieve some bonus points. Our main goal is to get you acquainted with the tools and how to use them to solve interesting problems. To make things easier, we have prepared a skeleton for each programming exercise. We have already implemented most of the scaffolding code so that you only need to do the encoding into SMT. We have marked all of these locations in the code with short `# todo` descriptions, you should not need to modify anything else. There are also several hints throughout the skeleton where we suggest the best approach of doing the task. We marked them with `# hint`. Your code should not include any additional packages, and we will test them in an environment where only the SMT solver `z3` is available (apart for some colorizing packages, which will be listed in `requirements.txt`).
We will provide you with the skeleton for the programming exercises so that you only have to do the SMT encoding and testing.
We will push them to [our repository](https://git.pranger.xyz/sp/lub2022-practical.git).
You can then pull changes from that repository by setting it as your upstream.
Below is a short example of how you can do this.
1. First, clone your submission repository and enter its root directory.
2. Register our repository as the upstream:
1. First, clone this repository and enter its root directory.
We will provide you with your own repositories over the course of the next week. As soon as you have these repositories, we will give you a short description on how you can push your solutions.
Your exercises will be tested! Make sure to write a few test cases for yourself.
In general, we also provide you with at least one test case, and if it works correctly, you know that you did an excellent job and will probably get all points.
