Skip to content

add get_head tactic and use it in solve_proper_unfold

Ralf Jung requested to merge ralf/get_head into master

Tactic taken from Simuliris, originally written by @msammler.

Merge request reports