Update README.md

Cheng-Lin-Li · web-flow · commit dda3b33b737c · 2017-10-08T15:56:22.000-07:00
diff --git a/Propositional_Logic/README.md b/Propositional_Logic/README.md
@@ -1,4 +1,4 @@
-## This is an implementation of Propositional Logic Resolution, Davis–Putnam–Logemann–Loveland (DPLL), WalkSAT,  and Propositional Knowledge Base Algorithms in Python 3
+## This is an implementation of Propositional Logic Resolution, Davis–Putnam–Logemann–Loveland (DPLL), WalkSAT,  and Propositional Knowledge Base Algorithms in Python 2.7
 ## The task:
 
 This implementation wants to arrange the wedding seating for a certain number of guests in a hall. The hall has a certain number of tables for seating. 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-## This is an implementation of Propositional Logic Resolution, Davis–Putnam–Logemann–Loveland (DPLL), WalkSAT, and Propositional Knowledge Base Algorithms in Python 3`
	`1`	`+## This is an implementation of Propositional Logic Resolution, Davis–Putnam–Logemann–Loveland (DPLL), WalkSAT, and Propositional Knowledge Base Algorithms in Python 2.7`
`2`	`2`	`## The task:`
`3`	`3`
`4`	`4`	`This implementation wants to arrange the wedding seating for a certain number of guests in a hall. The hall has a certain number of tables for seating.`