fix: add new BrilligFunctionUnsatisfiedConstrain
resolution error variant
#51
Job | Run time |
---|---|
1m 30s | |
2m 28s | |
1m 23s | |
4m 9s | |
1m 31s | |
1m 14s | |
33s | |
12s | |
1m 19s | |
57s | |
1m 52s | |
2m 28s | |
2m 15s | |
1s | |
21m 52s |