70 Commits (main)
 

Author SHA1 Message Date
Stefan Pranger 9f78aab258 updated solution for z3 0003 8 months ago
Stefan Pranger 828e190bd6 fixed phrasing and solution TL 0006 8 months ago
Stefan Pranger 0c11bc4ee3 compile updated solutions 8 months ago
Stefan Pranger 3d82d2ecc7 fixed solution cec 0009 8 months ago
Stefan Pranger 6464ed239e fixed phrasing in pred logic 1001 8 months ago
Stefan Pranger 300050b534 fixed solution for pred 0005 8 months ago
Stefan Pranger a5d73fb9e7 fixed solution in bdd 0007 8 months ago
Stefan Pranger 87707c8640 fixed phrasing and sol predicate logic 0003 8 months ago
Stefan Pranger c692ce7f07 fixed typo in chapter three 0002 sol 8 months ago
Stefan Pranger 3a67602726 compile chapter nine for release 8 months ago
Stefan Pranger 0b7115d743 fixed error in tseitin solution 0008 8 months ago
Stefan Pranger 764adb50fe fixed wrong solution in ltl chapter 0003 8 months ago
Stefan Pranger b2fdafe315 refined drone conditions 9 months ago
Stefan Pranger fb7c17eb9e compile missing chapters 9 months ago
Stefan Pranger 627e28643c release whole questionnaire 9 months ago
Stefan Pranger 674a4f2f2f added chapter eleven temporal logic 9 months ago
Stefan Pranger a6d3e2c696 added chapter ten 9 months ago
Stefan Pranger 0f7ff6da9b fixed bugs in 8 0009_sol 9 months ago
Stefan Pranger f3890f8c47 removed duplicate subformulae cec 0009_sol 9 months ago
Stefan Pranger 039ea7f498 added new lecture example 9 months ago
Stefan Pranger ff68404f9c removed old files 9 months ago
Stefan Pranger bca15511d5 added chapter nine 9 months ago
Stefan Pranger f947e8b5a2 release all files for chapter eight 9 months ago
Stefan Pranger fda9db76f8 compile eight 10 months ago
Stefan Pranger f9a9903ed4 compile sevne 10 months ago
Stefan Pranger 50ff15f3c3 added chapter 8 bdds 10 months ago
Stefan Pranger 8c56cccfef added solutions for ass sheet 7 10 months ago
Stefan Pranger 3c13142525 eager reductions produce equisatisfiable formulae 10 months ago
Stefan Pranger a002913099 fixed typo in chap 6 2001sol 10 months ago
Stefan Pranger 18f34c8cdb fixing compile error in 5 2002sol 10 months ago
Stefan Pranger 516bdffe2b compile chapter six 10 months ago
Stefan Pranger 40fd61da25 final typo fixes for chap 5 and 6 10 months ago
Stefan Pranger 136306fb98 compile chapter 5 10 months ago
Stefan Pranger f87b02e40c updated solutions for chap 5 10 months ago
Stefan Pranger 3e4310cf67 added new exercises for chapter 6 10 months ago
Stefan Pranger 3964c12cf3 compile and release seven 10 months ago
Stefan Pranger 139fb9f080 update for chapter six and seven 10 months ago
Stefan Pranger c181341ac8 fixed typo in chap5 1017 10 months ago
Stefan Pranger eff869af59 clarified solution chapter 5 0016 10 months ago
Stefan Pranger ece98cc26a added practicals for chapter 6 10 months ago
Stefan Pranger a87bd84910 added practicals for chapter 5 10 months ago
Stefan Pranger 647ef9a23b removed duplicate counter 10 months ago
Stefan Pranger 7eb60778e1 added solutions for ass sheet 5 10 months ago
Stefan Pranger 2948355bce fixed compile error 10 months ago
Stefan Pranger 4f76bf6195 overhauled chapter 5 and 6 10 months ago
Stefan Pranger 79857044f7 added chapter 5 and 6 predicate logic 10 months ago
Stefan Pranger a62ab40b3a fixed lor in DNF 10 months ago
Stefan Pranger 283d5520b8 fixed bug in SAT chapter 10 months ago
Stefan Pranger 78d0cd7d65 updated math macros 10 months ago
Stefan Pranger 48974f6ebf added chapter four 10 months ago