user7965: Tiger Hunt is a chess variant where an entire army without a queen fight against a royal amazon (tiger, queen+knight). I believe it is certainly a win for the army just like Marahaja and Sepoys. I also believe this can easily be solved. Perhaps we can modify stockfish code to do so..
Atlantis Chess is a variant where one can sink an empty space on the edge of the board (which changes as more spaces are sunk) as a legitimate move which is intuitively a draw simply because both sides can sink the board to protect their own king since nothing moves across sunk spaces. Putting the king in absolute safety requires at least 14 steps. I believe it is easily solvable. If we can generate all moves up to depth 40 or 50, I believe it can be solved since most attempts to disrupt the 14 steps involve bad piece trades or sacrifices.
I have also been looking at a variant called Peasants' Revolt Chess for a while. I strongly believe that the original four knights form is a black victory based on results of Stockfish, even as the author of the variant believes it to be biased towards black. A search depth of 80 may be required based on what I have done, also a tablebase of K3N against K+several pawns will be very helpful and can reduce search depths by at least 20.
In addition, I believe the three knights form might also be a black victory based on what Stockfish tells me. But this time search depth may have to be 110 or more.
So how do we weakly solve these chess variants? Any strategy?

user4362: In tiger hunt you could try to find setups for white in which the tiger can attack nothing and has no possibility to cross the pawn phalanx. Then you only have to show that you can always transform one of these setups into another, with further progressed pawns, without allowing captures or escapes. 
These transformations should be calculable by brute force. And if you can actually find these setups and transformations, the tiger will be forced back until it is captured.
The point is of course that you don't really have a complete search tree. You only use a search tree to get from one stable position to another more advanced stable position.
Edit: At first I had proposed a simple solution that unfortunately hinged on pawn promotions, which aren't allowed.

user8860: Even without a computer one can prove that
"Tiger Hunt" (a.k.a. Maharajah Chess) is a forced win.
Certainly the "tiger" can't hope for more than a draw
if White starts with 1 Na3 and then repeats with say
Nf3-g1-f3-... ad infinitum.  But in fact the "tiger"
can be gradually corralled as BlindKungFuMaster suggests;
for instance:
[Title "Tiger Hunt"]
[fen "4q3/8/8/8/8/8/PPPPPPPP/RNB1KBNR w - - 0 0"]

1.Na3 null
2.c3 null
3.d3 null
4.Nf3 null
5.g3 null
6.Bg2 null
7.h3 null
8.Rh2 null
9.Nd2 null
10.Ndc4 null
11.Be3 null
12.Bd4 null
13.b3 null
14.Nc2 null
15.Nb4 null
16.Nd5 null
17.Nf4 null
18.Bd5 null
19.Rg2 null
20.f3 null
21.h4 null
22.Kd2 null
23.Kc2 null
24.a3 null
25.a4 null
26.e3 null
27.e4 null
28.Re1 null
29.Re3 null
30.Be5 null
31.Ne6 null
32.Rge2 null
33.d4 null
34.Nd6 null
35.Kd2 null
36.Re1 null
37.Rh1 null
38.g4 null
39.h5 null
40.g5 null
41.f4 null
42.h6 null
43.f5 null
44.g6 null
45.h7 null
46.Ree1 null
47.Ra1 null
48.b4 null
49.a5 null
50.b5 null
51.c4 null
52.a6 null
53.c5 null
54.b6 null
55.a7 Qe7

The tiger is now limited to the squares d7 and e7.  White can now finish
immediately by Zugzwang (56 f6 or 56 c6 respectively) or continue in
the same fashion:
[Title "Tiger suffocates"]
[fen "8/P3q2P/1P1NN1P1/2PBBP2/3PP3/8/3K4/R6R w - - 0 55"]

1.Ra6 null
2.c6 null
3.Rh6 null
4.f6

and the tiger is completely out of squares (NB there are no legal moves from
d7/e7 to a8 or h8), QEF.

7965: <p><a href="https://www.chessvariants.com/unequal.dir/tigerhnt.html" rel="nofollow noreferrer">Tiger Hunt</a> is a chess variant where an entire army without a queen fight against a royal amazon (tiger, queen+knight). I believe it is certainly a win for the army just like Marahaja and Sepoys. I also believe this can easily be solved. Perhaps we can modify stockfish code to do so..</p>
<p><a href="http://www.chessvariants.org/boardrules.dir/atlantis.html" rel="nofollow noreferrer">Atlantis Chess</a> is a variant where one can sink an empty space on the edge of the board (which changes as more spaces are sunk) as a legitimate move which is intuitively a draw simply because both sides can sink the board to protect their own king since nothing moves across sunk spaces. Putting the king in absolute safety requires at least 14 steps. I believe it is easily solvable. If we can generate all moves up to depth 40 or 50, I believe it can be solved since most attempts to disrupt the 14 steps involve bad piece trades or sacrifices.</p>
<p>I have also been looking at a variant called <a href="http://www.chessvariants.org/large.dir/peasantrevolt.html" rel="nofollow noreferrer">Peasants' Revolt Chess</a> for a while. I strongly believe that the original four knights form is a black victory based on results of Stockfish, even as the author of the variant believes it to be biased towards black. A search depth of 80 may be required based on what I have done, also a tablebase of K3N against K+several pawns will be very helpful and can reduce search depths by at least 20.</p>
<p>In addition, I believe the three knights form might also be a black victory based on what Stockfish tells me. But this time search depth may have to be 110 or more.</p>
<p>So how do we weakly solve these chess variants? Any strategy?</p>
 4362: <p>In tiger hunt you could try to find setups for white in which the tiger can attack nothing and has no possibility to cross the pawn phalanx. Then you only have to show that you can always transform one of these setups into another, with further progressed pawns, without allowing captures or escapes. </p>

<p>These transformations should be calculable by brute force. And if you can actually find these setups and transformations, the tiger will be forced back until it is captured.</p>

<p>The point is of course that you don't really have a complete search tree. You only use a search tree to get from one stable position to another more advanced stable position.</p>

<p>Edit: At first I had proposed a simple solution that unfortunately hinged on pawn promotions, which aren't allowed.</p>
 8860: <p>Even without a computer one can prove that
"<strong>Tiger Hunt</strong>" (a.k.a. Maharajah Chess) is a forced win.
Certainly the "tiger" can't hope for more than a draw
if White starts with 1 Na3 and then repeats with say
Nf3-g1-f3-... ad infinitum.  But in fact the "tiger"
can be gradually corralled as <strong>BlindKungFuMaster</strong> suggests;
for instance:</p>

<pre><code>[Title "Tiger Hunt"]
[fen "4q3/8/8/8/8/8/PPPPPPPP/RNB1KBNR w - - 0 0"]

1.Na3 null
2.c3 null
3.d3 null
4.Nf3 null
5.g3 null
6.Bg2 null
7.h3 null
8.Rh2 null
9.Nd2 null
10.Ndc4 null
11.Be3 null
12.Bd4 null
13.b3 null
14.Nc2 null
15.Nb4 null
16.Nd5 null
17.Nf4 null
18.Bd5 null
19.Rg2 null
20.f3 null
21.h4 null
22.Kd2 null
23.Kc2 null
24.a3 null
25.a4 null
26.e3 null
27.e4 null
28.Re1 null
29.Re3 null
30.Be5 null
31.Ne6 null
32.Rge2 null
33.d4 null
34.Nd6 null
35.Kd2 null
36.Re1 null
37.Rh1 null
38.g4 null
39.h5 null
40.g5 null
41.f4 null
42.h6 null
43.f5 null
44.g6 null
45.h7 null
46.Ree1 null
47.Ra1 null
48.b4 null
49.a5 null
50.b5 null
51.c4 null
52.a6 null
53.c5 null
54.b6 null
55.a7 Qe7
</code></pre>

<p>The tiger is now limited to the squares d7 and e7.  White can now finish
immediately by Zugzwang (56 f6 or 56 c6 respectively) or continue in
the same fashion:</p>

<pre><code>[Title "Tiger suffocates"]
[fen "8/P3q2P/1P1NN1P1/2PBBP2/3PP3/8/3K4/R6R w - - 0 55"]

1.Ra6 null
2.c6 null
3.Rh6 null
4.f6
</code></pre>

<p>and the tiger is completely out of squares (NB there are no legal moves from
d7/e7 to a8 or h8), <strong>QEF</strong>.</p>
