Skip to content

add get_head tactic and use it in solve_proper_unfold

Ralf Jungrequested to merge
ralf/get_head into master

Tactic taken from Simuliris, originally written by @msammler.

Merge request reports