search

vprover / vampire

The Vampire Theorem Prover
https://vprover.github.io/
Other
302 stars 52 forks source link

Avoid symbol elimination for smtlib2 defined symbols #564

Closed quickbeam123 closed 6 months ago

quickbeam123 commented 6 months ago

This is to fix the Issue https://github.com/vprover/vampire/issues/561