add get_head tactic and use it in solve_proper_unfold
Status | Pipeline | Created by | Stages | |
|---|---|---|---|---|
Passed 00:06:33
|  | Stage: build |
Download artifacts
No artifacts found | |
| Stage: build |
Download artifacts
No artifacts found | ||
Failed 00:07:43
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:11:09
| | Stage: build |
Download artifacts
No artifacts found | |
| Stage: build |
Download artifacts
No artifacts found | ||
| Stage: build |
Download artifacts
No artifacts found | ||
Passed 00:05:13
| | Stage: build |
Download artifacts
No artifacts found | |
