[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Unproved TCCs in tablewise.pvs




Dear Experts:

I am studying the examples of decision tables(decision_tables.dmp)
supplied by your website and found 2 unproved TCCs left. Why?

Jason Wu