Updated prune_strictly_dominated! to reduce allocations
#52
| Job | Run time |
|---|---|
| 2m 46s | |
| 2m 22s | |
| 5m 8s |
prune_strictly_dominated! to reduce allocations
#52
| Job | Run time |
|---|---|
| 2m 46s | |
| 2m 22s | |
| 5m 8s |