Commit Graph

Select branches

Hide Pull Requests

main

update_readme

Mono Color

• ad0380d1e7 Merge pull request 'Added Instructions for Solution Upload' (#2) from update_readme into main main Stefan Pranger 2022-03-18 08:27:00 +0000
• 9ba39c6717 added instructions for solution upload update_readme Stefan Pranger 2022-03-18 09:26:08 +0100
• f1664028e6 Merge pull request 'Update for the README' (#1) from update_readme into main Stefan Pranger 2022-03-11 12:14:38 +0000
• d323e97ddf grammar fix Stefan Pranger 2022-03-11 13:14:08 +0100
• 441b7c0d80 not under construction anymore Stefan Pranger 2022-03-11 13:12:58 +0100
• 94aedef106 Updated README for this semester Stefan Pranger 2022-03-11 13:11:23 +0100
• 7a2f728d6d updated pdf files for exercise Stefan Pranger 2022-02-28 09:18:43 +0100
• bb32432859 added seating arrangement ex4 Stefan Pranger 2022-02-20 17:58:59 +0100
• 2c38880852 added trees and tents ex3 Stefan Pranger 2022-02-20 17:58:48 +0100
• 776aeca333 added magic square ex2 Stefan Pranger 2022-02-20 17:58:35 +0100
• d008b4fbbd added burglars ex1 Stefan Pranger 2022-02-20 17:58:24 +0100
• 398be99f4f added under construction label to README Stefan Pranger 2022-02-18 11:27:33 +0100
• 95f388b5ce added example Z3 scripts Stefan Pranger 2022-02-18 11:23:29 +0100
• 909a47c477 init README Stefan Pranger 2022-02-18 11:22:03 +0100