fix: add new BrilligFunctionUnsatisfiedConstrain
resolution error variant
#52
Job | Run time |
---|---|
2m 27s | |
3m 57s | |
1m 25s | |
1m 30s | |
1m 31s | |
37s | |
1m 10s | |
12s | |
1m 10s | |
1m 1s | |
1m 49s | |
2m 10s | |
1m 49s | |
1s | |
20m 49s |