Branch: main

main

release_eight

release_five

release_four

release_nine

release_one

release_seven

release_six

release_three

release_two

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'main'

${ noResults }

Commit Graph

53 Commits (main)

 

All Branches   

Search

Author	SHA1	Message	Date
Stefan Pranger	0f7ff6da9b	fixed bugs in 8 0009_sol continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	6 days ago
Stefan Pranger	f3890f8c47	removed duplicate subformulae cec 0009_sol continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	6 days ago
Stefan Pranger	039ea7f498	added new lecture example continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	6 days ago
Stefan Pranger	ff68404f9c	removed old files	6 days ago
Stefan Pranger	bca15511d5	added chapter nine continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	6 days ago
Stefan Pranger	f947e8b5a2	release all files for chapter eight continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	1 week ago
Stefan Pranger	fda9db76f8	compile eight continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	3 weeks ago
Stefan Pranger	f9a9903ed4	compile sevne continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	3 weeks ago
Stefan Pranger	50ff15f3c3	added chapter 8 bdds continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	3 weeks ago
Stefan Pranger	8c56cccfef	added solutions for ass sheet 7	3 weeks ago
Stefan Pranger	3c13142525	eager reductions produce equisatisfiable formulae continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	3 weeks ago
Stefan Pranger	a002913099	fixed typo in chap 6 2001sol continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	3 weeks ago
Stefan Pranger	18f34c8cdb	fixing compile error in 5 2002sol continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	4 weeks ago
Stefan Pranger	516bdffe2b	compile chapter six continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	4 weeks ago
Stefan Pranger	40fd61da25	final typo fixes for chap 5 and 6 continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	4 weeks ago
Stefan Pranger	136306fb98	compile chapter 5 continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	4 weeks ago
Stefan Pranger	f87b02e40c	updated solutions for chap 5 continuous-integration/drone/push Build is passing Details	4 weeks ago
Stefan Pranger	3e4310cf67	added new exercises for chapter 6 continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	4 weeks ago
Stefan Pranger	3964c12cf3	compile and release seven continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	4 weeks ago
Stefan Pranger	139fb9f080	update for chapter six and seven continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	4 weeks ago
Stefan Pranger	c181341ac8	fixed typo in chap5 1017 continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details also fixed some ass sheet related stuff	1 month ago
Stefan Pranger	eff869af59	clarified solution chapter 5 0016	1 month ago
Stefan Pranger	ece98cc26a	added practicals for chapter 6 continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	1 month ago
Stefan Pranger	a87bd84910	added practicals for chapter 5 continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	1 month ago
Stefan Pranger	647ef9a23b	removed duplicate counter continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	1 month ago
Stefan Pranger	7eb60778e1	added solutions for ass sheet 5	1 month ago
Stefan Pranger	2948355bce	fixed compile error continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	1 month ago
Stefan Pranger	4f76bf6195	overhauled chapter 5 and 6 continuous-integration/drone/push Build is failing Details continuous-integration/drone/tag Build is failing Details	1 month ago
Stefan Pranger	79857044f7	added chapter 5 and 6 predicate logic continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	1 month ago
Stefan Pranger	a62ab40b3a	fixed lor in DNF continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	1 month ago
Stefan Pranger	283d5520b8	fixed bug in SAT chapter continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	1 month ago
Stefan Pranger	78d0cd7d65	updated math macros continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	1 month ago
Stefan Pranger	48974f6ebf	added chapter four continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	1 month ago
Stefan Pranger	9d139e252b	finalized chapter 3 continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	1 month ago
Stefan Pranger	d4f86b143f	compile chapter two continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	1 month ago
Stefan Pranger	f327fa123b	reworked selfass declarative sentences	1 month ago
Stefan Pranger	53bb004a7a	fixed answer for unit clause theory question continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	2 months ago
Stefan Pranger	83d8c2fd93	fixed bug in sat chapter tex file continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	2 months ago
Stefan Pranger	e082dc41d4	added chapter three and four to the questionnaire continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	2 months ago
Stefan Pranger	0370eaa04b	updates for the framework	2 months ago
Stefan Pranger	0c6784ffd5	fixed tseitin rules	2 months ago
Stefan Pranger	054fce06bc	compile all released chapters continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	2 months ago
Stefan Pranger	1ffb70bc3e	release all files continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	2 months ago
Stefan Pranger	6a722f830a	compile chapter two continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	2 months ago
Stefan Pranger	9762611c70	added questionnaire for propositional logic	2 months ago
Stefan Pranger	fb5c5ae079	updated theory question from lecture continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	3 months ago
Stefan Pranger	e3e38f3682	added solutions for theory questions continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	3 months ago
Stefan Pranger	238f280d4d	updated drone.yml continuous-integration/drone/push Build is passing Details continuous-integration/drone/tag Build is passing Details	3 months ago
Stefan Pranger	b8c8c18f59	added first chapter smt_and_z3	3 months ago
Stefan Pranger	aa83a61ec4	added main	3 months ago