[Enhancement] Add features related to the usage of the ClosestProof method
#217
| Job | Run time |
|---|---|
| 1m 22s | |
| 1m 22s |
ClosestProof method
#217
| Job | Run time |
|---|---|
| 1m 22s | |
| 1m 22s |