Add a new ScalarMap struct and use it to make witnesses more structured
#508
| Job | Run time |
|---|---|
| 27s | |
| 23s | |
| 19s | |
| 1m 9s |
ScalarMap struct and use it to make witnesses more structured
#508
| Job | Run time |
|---|---|
| 27s | |
| 23s | |
| 19s | |
| 1m 9s |