Remove VarManager - Githubissues

vprover / vampire

The Vampire Theorem Prover

https://vprover.github.io/

Other

282 stars 49 forks source link

Remove VarManager #585

Closed quickbeam123 closed 1 month ago

quickbeam123 commented 1 month ago

was only ever used in a trivial way
also simplified the Skolemization interface a bit