migrate verification strategy

Author: enadeau

tests/test_tilescope.py

@@ -4,7 +4,7 @@
 from comb_spec_searcher import ProofTree
 from tilescopethree import TileScopeTHREE
 from tilescopethree.strategy_packs_v2 import (
-    all_the_strategies_database_verified, point_placements,
+    all_the_strategies_verify_database, point_placements,
     point_placements_fusion, point_placements_fusion_with_interleaving,
     row_and_col_placements_fusion_with_interleaving_fusion)
 
@@ -28,7 +28,7 @@ def test_132_genf():
 
 @pytest.mark.timeout(20)
 def test_123():
-    searcher = TileScopeTHREE('123', all_the_strategies_database_verified)
+    searcher = TileScopeTHREE('123', all_the_strategies_verify_database)
     t = searcher.auto_search(smallest=True)
     assert isinstance(t, ProofTree)
 

tilescopethree/strategies/verification_strategies.py

@@ -0,0 +1,4 @@
+from tilings.strategies.verification import (verify_basic, verify_database,
+                                             verify_elementary, verify_local,
+                                             verify_locally_factorable,
+                                             verify_one_by_one)