Adds Noir library for BN SMT verify, add, update, delete
#122
| Job | Run time |
|---|---|
| 4m 12s | |
| 2m 1s | |
| 6m 13s |
verify, add, update, delete
#122
| Job | Run time |
|---|---|
| 4m 12s | |
| 2m 1s | |
| 6m 13s |