From cbc62f94c241b5567b1e1dfafad837710ed4961d Mon Sep 17 00:00:00 2001
From: Paul Jungeblut <paul.jungeblut@gmail.com>
Date: Wed, 14 Dec 2016 00:04:53 +0100
Subject: Adding 2-SAT code.

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

(limited to 'tcr.pdf')

diff --git a/tcr.pdf b/tcr.pdf
index 9cbba0e..f09946e 100644
Binary files a/tcr.pdf and b/tcr.pdf differ
-- 
cgit v1.2.3