From 0550627fade1c01d6b90907de198ca13d34db9d9 Mon Sep 17 00:00:00 2001
From: pjungeblut <paul.jungeblut@gmail.com>
Date: Sun, 26 Oct 2014 13:02:53 +0100
Subject: adding 2-SAT

---
 tcr.pdf | Bin 45111 -> 81835 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to 'tcr.pdf')

diff --git a/tcr.pdf b/tcr.pdf
index 1996e3e..db1ab6c 100644
Binary files a/tcr.pdf and b/tcr.pdf differ
-- 
cgit v1.2.3