Skip to content
GitLab

Improved Abduction inference algorithm

Merged 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