Eugen Sawin <sawine@me73.com> [Fri, 18 May 2012 22:37:44 +0200] rev 9
Added first part of ex3.
Eugen Sawin <sawine@me73.com> [Wed, 09 May 2012 15:13:56 +0200] rev 8
Final ex2 solution.
Eugen Sawin <sawine@me73.com> [Wed, 09 May 2012 15:13:41 +0200] rev 7
Final ex2 solution.
Eugen Sawin <sawine@me73.com> [Wed, 09 May 2012 04:07:59 +0200] rev 6
Added some proof sketches for the reduction.
Eugen Sawin <sawine@me73.com> [Wed, 09 May 2012 01:04:24 +0200] rev 5
Added first part of solution for ex2.
Eugen Sawin <sawine@me73.com> [Fri, 27 Apr 2012 19:03:09 +0200] rev 4
Added final ex01 solution.
Eugen Sawin <sawine@me73.com> [Fri, 27 Apr 2012 02:02:08 +0200] rev 3
Almost finished ex01.
Eugen Sawin <sawine@me73.com> [Thu, 26 Apr 2012 00:25:00 +0200] rev 2
Added sol 1.2.
Eugen Sawin <sawine@me73.com> [Wed, 25 Apr 2012 17:30:37 +0200] rev 1
Solved Sudoku puzzle.
Eugen Sawin <sawine@me73.com> [Wed, 25 Apr 2012 15:34:15 +0200] rev 0
Added first ex.