Removing instantiation sat algorithm from schedules

vprover / vampire

The Vampire Theorem Prover

https://vprover.github.io/

Other

282 stars 49 forks source link

Closed joe-hauns closed 1 month ago

joe-hauns commented 2 months ago

fixes #576

MichaelRawson commented 1 month ago

Low chance of breaking something so I'll just merge, @quickbeam123.

This is somewhat my fault for not doing this when I removed InstGen. Sorry!