Corrections v2

Author: Shivanirudh

other/dpll.py

@@ -9,7 +9,7 @@
 """
 
 import random
-from typing import List, Dict
+from typing import Dict, List
 
 
 class Clause:
@@ -54,7 +54,7 @@ def __str__(self) -> str:
 
         return clause
 
-    def assign(self, model: Dict[str, bool])  -> None:
+    def assign(self, model: Dict[str, bool]) -> None:
         """
         Assign values to literals of the clause as given by model.
         """