From 3669bdbc23a1afc370bc7952732aaa2b94466ae7 Mon Sep 17 00:00:00 2001
From: Dimitri Lozeve <dimitri.lozeve@gmail.com>
Date: Tue, 2 Aug 2016 20:52:43 +0100
Subject: [PATCH] Second test

---
 Sat.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Sat.hs b/Sat.hs
index 0a62e65..1d783c5 100644
--- a/Sat.hs
+++ b/Sat.hs
@@ -136,3 +136,6 @@ unitPropagate (f, asst) =
 
 test1 :: CNF
 test1 = [[Neg 1, Pos 2], [Pos 3, Neg 2], [Pos 4, Neg 5], [Pos 5, Neg 4]]
+
+test2 :: CNF
+test2 = [[Pos 1], [Neg 1, Pos 4], [Neg 1, Pos 4]]