Explanations are generated for tautologies !

Status: Beta

Brought to you by: kremen

#3 Explanations are generated for tautologies !

Status: open

Owner: nobody

Labels: Core Diff (3)

Priority: 5

Updated: 2012-12-06

Created: 2008-07-10

Private: No

Explanations should not be generated for tautologies. These explanations are necessarily irrelevant.