search

vprover / vampire

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

remove AWClauseContainer #587

Closed quickbeam123 closed 3 months ago

quickbeam123 commented 3 months ago

this was probably used by InstGen only;

not the same thing as the still-needed (of course) AWPassiveClauseContainer as such