gilith/metis

Issues

• Two fatal errors on same TPTP problem, with non-default options

  #11 opened 4 years ago by mdesharnais
  2

• Ordered paramodulation vs. superposition

  #12 opened 4 years ago by blanchette
  1

• No proof when the conjecture is $true

  #10 opened 5 years ago by jonaprieto
  3

• BUG found in metis program

  #9 opened 7 years ago by giomasce
  5

• FATAL ERROR: BUG found in metis program: Active.simplify

  #8 opened 7 years ago by 01mf02
  2

• [ BUG ] Simplify erroneously deduces $false

  #7 opened 7 years ago by jonaprieto
  1

• BUG found in metis program: Active.checkSaturated

  #6 opened 7 years ago by 01mf02
  2

• Splitting a goal that look like ~(p <=> q)

  #4 opened 7 years ago by jonaprieto
  3

• Expanding simplify inference

  #3 opened 8 years ago by jonaprieto
  1

• Simplify outputs $false, maybe wrongly.

  #2 opened 8 years ago by jonaprieto
  3

• Fatal error on a big file

  #1 opened 8 years ago by asr
  2