feat: implement get_size_hint
for Smt
(#331)
#84
Job | Run time |
---|---|
39s | |
45s | |
1m 24s |
get_size_hint
for Smt
(#331)
#84
Job | Run time |
---|---|
39s | |
45s | |
1m 24s |