Resolution (logic) - Implementations

Implementations

  • CARINE
  • Gandalf
  • Otter
  • Prover9
  • SNARK
  • SPASS
  • Vampire

Read more about this topic:  Resolution (logic)