dimitri/Civilisation-hs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Second test

Browse source
This commit is contained in:
Dimitri Lozeve 2016-08-02 20:52:43 +01:00
parent d140723b26
commit 3669bdbc23
No known key found for this signature in database
GPG key ID: 12B390E6BD7CF219
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Sat.hs
View file

@ -136,3 +136,6 @@ unitPropagate (f, asst) =
test1 :: CNF test1 :: CNF
test1 = [[Neg 1, Pos 2], [Pos 3, Neg 2], [Pos 4, Neg 5], [Pos 5, Neg 4]] 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]]