ufmg-smite/carcara

Issues

• Handling of unary conjuncts/disjuncts

  #27 opened a year ago by rodrigo7491
  4

• Error checking rule div_simplify

  #21 opened 2 years ago by blishko
  1

• Acceptance of Empty Clause Resolution with no Premises

  #19 opened 2 years ago by m4mbo
  1

• Encode simplify rule with a term rewriting systems

  #11 opened 2 years ago by NotBad4U
  0

• Parser error with weight attribute

  #12 opened 2 years ago by rodrigo7491
  1

• Checking failed with rule 'resolution': pivot was not eliminated

  #9 opened 2 years ago by rodrigo7491
  3

• Checking failed with rule 'assume': term was not in original problem's assumptions

  #10 opened 2 years ago by rodrigo7491
  2

• Parser error with arithmetic sorts

  #7 opened 2 years ago by rodrigo7491
  3

• Failed resolution check

  #5 opened 2 years ago by BrunoDutertre
  8

• Resolution involving an assumption

  #4 opened 2 years ago by BrunoDutertre
  10

• Proof check fails on a QF_UF problem

  #1 opened 2 years ago by BrunoDutertre
  8

• Carcara confused by definitions

  #2 opened 2 years ago by BrunoDutertre
  3