Skip to content

add annotation support for evar instantiation

Laila Elbeheiryrequested 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