Add comments to the Invariant implementation
#51
| Job | Run time |
|---|---|
| 10m 24s | |
| 41m 57s | |
| 42m 17s | |
| 13m 39s | |
| 1h 48m 17s |
Invariant implementation
#51
| Job | Run time |
|---|---|
| 10m 24s | |
| 41m 57s | |
| 42m 17s | |
| 13m 39s | |
| 1h 48m 17s |