Skip to content

Improved Abduction inference algorithm

Ike Mulder requested 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