Defaults impemenations for optimized Ordering methods - Githubissues

vprover / vampire

The Vampire Theorem Prover

https://vprover.github.io/

Other

302 stars 52 forks source link

Defaults impemenations for optimized Ordering methods #575

Closed joe-hauns closed 4 months ago

joe-hauns commented 4 months ago

Added default implementations for new optimized Kernel::Ordering methods.