-
0e3f9bce · pushed solution with html export
-
f659e69c · add Solutions to Security block
-
2c6a4fec · Uploaded inference exercise solutions
-
5c7ba302 · Add solutions to the verification exercise
-
b586d26b · Update README to install z3 from pip
-
783f0b68 · Simplify printing the solution
-
584f026c · Make variable names match the lecture slides
-
b1e30dc2 · add verification exercise
-
c539744b · Added topology inference exercises
-
51f1e8e7 · Add second part solutions
-
c6600d42 · added second week's exercise
-
9a74cefa · added first week's solutions