Issue 1228: alternative precondition choice functions for LM-Cut

Title	alternative precondition choice functions for LM-Cut
Priority	feature	Status	unread
Superseder		Nosy List	jendrik, malte, pascal.lauer
Assigned To	pascal.lauer	Keywords
Optional summary	Implement a relevant subset of precondition choice functions from https://fai.cs.uni-saarland.de/lauer/papers/hsdip2020.pdf . (Likely just GZD+BD.)

Created on 2026-07-24.10:54:11 by pascal.lauer, last changed by pascal.lauer.

Summary
Implement a relevant subset of precondition choice functions from https://fai.cs.uni-saarland.de/lauer/papers/hsdip2020.pdf . (Likely just GZD+BD.)

History
Date	User	Action	Args
2026-07-24 10:54:11	pascal.lauer	create

Issue1228