3 ms·
That's interesting. Will try later to see if the reasoning models can solve the harder puzzles without z3.
by slig 1y ago
That's interesting. Will try later to see if the reasoning models can solve the harder puzzles without z3.
loading thread…