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

Third test

Browse source
This commit is contained in:
Dimitri Lozeve 2016-08-03 20:29:38 +01:00
parent 23d5e2ff1b
commit e36db42ec7
No known key found for this signature in database
GPG key ID: 12B390E6BD7CF219
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Sat.hs
View file

@ -214,3 +214,7 @@ test1 = [[Neg 1, Pos 2], [Pos 3, Neg 2], [Pos 4, Neg 5], [Pos 5, Neg 4]]
test2 :: CNF test2 :: CNF
test2 = [[Pos 1], [Neg 1, Pos 4], [Neg 1, Pos 4]] test2 = [[Pos 1], [Neg 1, Pos 4], [Neg 1, Pos 4]]
test3 :: CNF
test3 = [[Neg 1, Pos 2], [Neg 1, Pos 3], [Neg 2, Pos 4],
[Neg 3, Neg 4], [Pos 1, Neg 3, Pos 5]]