Disjuncts are not handled

Status: Beta

Brought to you by: ctcook, hwsmith, sitaraman, yushan87

#6 Disjuncts are not handled

Status: open

Owner: H. Smith

Labels: Prover (3)

Priority: 5

Updated: 2009-08-03

Created: 2009-08-03

Creator: H. Smith

Private: No

Disjuncts in VCs are not appropriately handled by the prover.

Discussion

Log in to post a comment.