Skip to content

Improved Abduction inference algorithm

Ike Mulderrequested to merge
ci/abduct_inv into master

Improves abduction inference. In particular, allows abduct to properly open invariants and compute a provable remaining goal.

Merge request reports