Skip to content

Commit

Permalink
FIX: added rules that had been missed
Browse files Browse the repository at this point in the history
  • Loading branch information
tim.hutton committed Mar 17, 2008
1 parent 33d8e4a commit 8055c7a
Showing 1 changed file with 19 additions and 0 deletions.
19 changes: 19 additions & 0 deletions solving_rules_4.txt
Expand Up @@ -2844,3 +2844,22 @@ implied:
#
# + + + + + + + + + + + +

#---------- Rule 130: --------------
required:
0,0,2
1,-2,0
2,-1,0
-2,-1,0
implied:
-1,-2,1

# + + + + + + + + + + + +
#
# + + + + + + + + + + + +
# x | x
# + + x + + x + + => + + x + + x + +
# 2 2
# + + + + + + + + + + + +
#
# + + + + + + + + + + + +

0 comments on commit 8055c7a

Please sign in to comment.