Skip to content

add annotation support for evar instantiation

Laila Elbeheiry requested to merge ci/lvar into master

Using lvar and set_lvar, users can now control how lithium instantiates an existential variable in the proof search procedure.

Merge request reports