feat: add support for hashmaps in Smt
and SimpleSmt
(#363)
#156
Job | Run time |
---|---|
34s | |
42s | |
1m 16s |
Smt
and SimpleSmt
(#363)
#156
Job | Run time |
---|---|
34s | |
42s | |
1m 16s |